Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / real.mli @ f0195e96

History | View | Annotate | Download (572 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

    
7
val add: t -> t -> t
8
val minus: t -> t -> t
9
val times: t -> t -> t
10
val div: t -> t -> t
11
val uminus: t -> t
12

    
13
val lt: t -> t -> bool
14
val le: t -> t -> bool
15
val gt: t -> t -> bool
16
val ge: t -> t -> bool
17
val eq: t -> t -> bool
18
val diseq: t -> t -> bool
19
  
20
val to_num: t -> Num.num
21
val to_q: t -> Q.t
22
val to_string: t -> string
23
val eq: t -> t -> bool
24
val zero: t
25

    
26
val is_zero: t -> bool
27
val is_one: t -> bool