Parent Directory
| 
Revision Log
[r2002-10-19 20:52:17 by cvscast] Empty log message Original author: cvscast Date: 2002-10-19 20:52:18+00:00
| 1 | type 'a t (* = Finite of 'a list | Cofinite of 'a list *) |
| 2 | |
| 3 | val empty : 'a t |
| 4 | val any : 'a t |
| 5 | |
| 6 | val cup : 'a t -> 'a t -> 'a t |
| 7 | val cap : 'a t -> 'a t -> 'a t |
| 8 | val diff : 'a t -> 'a t -> 'a t |
| 9 | val atom : 'a -> 'a t |
| 10 | |
| 11 | val contains : 'a -> 'a t -> bool |
| 12 | val is_empty : 'a t -> bool |
| 13 | val sample : ('a list -> 'a) -> 'a t -> 'a |
| 14 | |
| 15 | val print : string -> (Format.formatter -> 'a -> unit) -> 'a t -> |
| 16 | (Format.formatter -> unit) list |
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |