Project

General

Profile

« Previous | Next » 

Revision ca7ff3f7

Added by LĂ©lio Brun 7 months ago

reformatting

View differences:

src/real.mli
1 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
2

  
3
val pp : Format.formatter -> t -> unit
4

  
5
val pp_ada : Format.formatter -> t -> unit
6

  
7
val create : string -> int -> string -> t
8

  
5 9
(*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
  
10
val create_q : Q.t -> string -> t
11

  
12
val add : t -> t -> t
13

  
14
val minus : t -> t -> t
15

  
16
val times : t -> t -> t
17

  
18
val div : t -> t -> t
19

  
20
val uminus : t -> t
21

  
22
val lt : t -> t -> bool
23

  
24
val le : t -> t -> bool
25

  
26
val gt : t -> t -> bool
27

  
28
val ge : t -> t -> bool
29

  
30
val eq : t -> t -> bool
31

  
32
val diseq : t -> t -> bool
33

  
21 34
(*val to_num: t -> Num.num*)
22
val to_q: t -> Q.t
23
val to_string: t -> string
35
val to_q : t -> Q.t
36

  
37
val to_string : t -> string
38

  
24 39
(* val eq: t -> t -> bool *)
25
val zero: t
40
val zero : t
41

  
42
val is_zero : t -> bool
26 43

  
27
val is_zero: t -> bool
28
val is_one: t -> bool
44
val is_one : t -> bool

Also available in: Unified diff