Project

General

Profile

Revision ef598ac3 src/real.mli

View differences:

src/real.mli
2 2
val pp: Format.formatter -> t -> unit
3 3
val pp_ada: Format.formatter -> t -> unit
4 4
val create: string -> int -> string -> t
5
val create_num: Num.num -> string -> t
5
(*val create_num: Num.num -> string -> t*)
6
val create_q: Q.t -> string -> t
6 7

  
7 8
val add: t -> t -> t
8 9
val minus: t -> t -> t
......
17 18
val eq: t -> t -> bool
18 19
val diseq: t -> t -> bool
19 20
  
20
val to_num: t -> Num.num
21
(*val to_num: t -> Num.num*)
21 22
val to_q: t -> Q.t
22 23
val to_string: t -> string
23 24
val eq: t -> t -> bool

Also available in: Unified diff