Project

General

Profile

Revision f0195e96 src/real.mli

View differences:

src/real.mli
18 18
val diseq: t -> t -> bool
19 19
  
20 20
val to_num: t -> Num.num
21
val to_q: t -> Q.t
21 22
val to_string: t -> string
22 23
val eq: t -> t -> bool
23 24
val zero: t

Also available in: Unified diff