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 | abate | 1 | type 'a t (* = Finite of 'a list | Cofinite of 'a list *) |
| 2 | |||
| 3 | val empty : 'a t | ||
| 4 | abate | 18 | val any : 'a t |
| 5 | abate | 1 | |
| 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 |