Revision ca7ff3f7
Added by LĂ©lio Brun 7 months ago
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
reformatting