rat_of_term : term -> num
- SYNOPSIS
-
Converts a canonical rational literal of type :real to an OCaml number.
- DESCRIPTION
-
The call rat_of_term t where term t is a canonical rational literal of type
:real returns the corresponding OCaml rational number (type num). The
canonical literals are integer literals &n for numeral n, -- &n for a
nonzero numeral n, or ratios &p / &q or -- &p / &q where p is nonzero,
q > 1 and p and q share no common factor.
- FAILURE CONDITIONS
-
Fails when applied to a term that is not a canonical rational literal.
- EXAMPLE
-
# rat_of_term `-- &22 / &7`;;
val it : num = -22/7
- SEE ALSO
-
is_ratconst, mk_realintconst, REAL_RAT_REDUCE_CONV, term_of_rat.