dest_realintconst : term -> num

SYNOPSIS

Converts an integer literal of type :real to an OCaml number.

DESCRIPTION

The call dest_realintconst t where t is a canonical integer literal of type :real, returns the corresponding OCaml number (type num). The permissible forms of integer literals are `&n' for a numeral n or `-- &n' for a nonzero numeral n.

FAILURE CONDITIONS

Fails if applied to a term that is not a canonical integer literal of type :real.

EXAMPLE

  # dest_realintconst `-- &27 :real`;;
  val it : num = -27