Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / real.mli @ de8e9811

History | View | Annotate | Download (553 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_string: t -> string
22
val eq: t -> t -> bool
23
val zero: t
24

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