Project

General

Profile

Download (613 Bytes) Statistics
| Branch: | Tag: | Revision:
1 de8e9811 ploc
type t
2
val pp: Format.formatter -> t -> unit
3
val pp_ada: Format.formatter -> t -> unit
4
val create: string -> int -> string -> t
5 ef598ac3 ploc
(*val create_num: Num.num -> string -> t*)
6
val create_q: Q.t -> string -> t
7 de8e9811 ploc
8
val add: t -> t -> t
9
val minus: t -> t -> t
10
val times: t -> t -> t
11
val div: t -> t -> t
12
val uminus: t -> t
13
14
val lt: t -> t -> bool
15
val le: t -> t -> bool
16
val gt: t -> t -> bool
17
val ge: t -> t -> bool
18
val eq: t -> t -> bool
19
val diseq: t -> t -> bool
20
  
21 ef598ac3 ploc
(*val to_num: t -> Num.num*)
22 f0195e96 ploc
val to_q: t -> Q.t
23 de8e9811 ploc
val to_string: t -> string
24
val eq: t -> t -> bool
25
val zero: t
26
27
val is_zero: t -> bool
28
val is_one: t -> bool