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 | type t |
| 2 | |
| 3 | val equal : t -> t -> bool |
| 4 | val hash : t -> int |
| 5 | |
| 6 | val empty : t |
| 7 | val any : t |
| 8 | val cup : t -> t -> t |
| 9 | val cap : t -> t -> t |
| 10 | val diff : t -> t -> t |
| 11 | |
| 12 | 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 | |
| 17 | |
| 18 | val is_empty : t -> bool |
| 19 | val contains : Big_int.big_int -> t -> bool |
| 20 | val sample : t -> Big_int.big_int |
| 21 | |
| 22 | |
| 23 | val print : t -> (Format.formatter -> unit) list |
| 24 | |
| 25 | |
| 26 | |
| 27 | val add : t -> t -> t |
| 28 | val sub : t -> t -> t |
| 29 | val negat : t -> t |
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |