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
- SEE ALSO
-
dest_intconst, is_realintconst, mk_realintconst, rat_of_term.