Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / real.mli @ ef598ac3

History | View | Annotate | Download (613 Bytes)

1
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
(*val create_num: Num.num -> string -> t*)
6
val create_q: Q.t -> string -> t
7

    
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
(*val to_num: t -> Num.num*)
22
val to_q: t -> Q.t
23
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