| 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
|