Project

General

Profile

Download (653 Bytes) Statistics
| Branch: | Tag: | Revision:
1 de8e9811 ploc
type t
2 ca7ff3f7 Lélio Brun
3
val pp : Format.formatter -> t -> unit
4
5
val pp_ada : Format.formatter -> t -> unit
6
7
val create : string -> int -> string -> t
8
9 ef598ac3 ploc
(*val create_num: Num.num -> string -> t*)
10 ca7ff3f7 Lélio Brun
val create_q : Q.t -> string -> t
11
12
val add : t -> t -> t
13
14
val minus : t -> t -> t
15
16
val times : t -> t -> t
17
18
val div : t -> t -> t
19
20
val uminus : t -> t
21
22
val lt : t -> t -> bool
23
24
val le : t -> t -> bool
25
26
val gt : t -> t -> bool
27
28
val ge : t -> t -> bool
29
30
val eq : t -> t -> bool
31
32
val diseq : t -> t -> bool
33
34 ef598ac3 ploc
(*val to_num: t -> Num.num*)
35 ca7ff3f7 Lélio Brun
val to_q : t -> Q.t
36
37
val to_string : t -> string
38
39 ca7e8027 Lélio Brun
(* val eq: t -> t -> bool *)
40 ca7ff3f7 Lélio Brun
val zero : t
41
42
val is_zero : t -> bool
43 de8e9811 ploc
44 ca7ff3f7 Lélio Brun
val is_one : t -> bool