Parent Directory
| 
Revision Log
[r2002-10-26 20:45:22 by cvscast] Empty log message Original author: cvscast Date: 2002-10-26 20:45:22+00:00
| 1 | abate | 15 | type t |
| 2 | abate | 1 | |
| 3 | abate | 15 | val equal : t -> t -> bool |
| 4 | val hash : t -> int | ||
| 5 | abate | 1 | |
| 6 | val empty : t | ||
| 7 | abate | 15 | val any : t |
| 8 | abate | 1 | val cup : t -> t -> t |
| 9 | val cap : t -> t -> t | ||
| 10 | val diff : t -> t -> t | ||
| 11 | |||
| 12 | abate | 52 | val bounded : Big_int.big_int -> Big_int.big_int -> t |
| 13 | val left : Big_int.big_int -> t | ||
| 14 | val right : Big_int.big_int -> t | ||
| 15 | val atom : Big_int.big_int -> t | ||
| 16 | abate | 1 | |
| 17 | abate | 15 | |
| 18 | abate | 1 | val is_empty : t -> bool |
| 19 | abate | 15 | val contains : Big_int.big_int -> t -> bool |
| 20 | val sample : t -> Big_int.big_int | ||
| 21 | abate | 1 | |
| 22 | |||
| 23 | val print : t -> (Format.formatter -> unit) list | ||
| 24 | abate | 16 | |
| 25 | |||
| 26 | |||
| 27 | val add : t -> t -> t | ||
| 28 | abate | 51 | val sub : t -> t -> t |
| 29 | val negat : t -> t |
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |