Project

General

Profile

Download (653 Bytes) Statistics
| Branch: | Tag: | Revision:
1
type t
2

    
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
(*val create_num: Num.num -> string -> t*)
10
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
(*val to_num: t -> Num.num*)
35
val to_q : t -> Q.t
36

    
37
val to_string : t -> string
38

    
39
(* val eq: t -> t -> bool *)
40
val zero : t
41

    
42
val is_zero : t -> bool
43

    
44
val is_one : t -> bool
(52-52/66)