Parent Directory
| 
Revision Log
| 
Patch
| revision 1 by abate, Tue Jul 10 16:56:44 2007 UTC | revision 18 by abate, Tue Jul 10 16:58:28 2007 UTC | |
|---|---|---|
| # | Line 1 | Line 1 |
| 1 | type 'a t (* = Finite of 'a list | Cofinite of 'a list *) | type 'a t (* = Finite of 'a list | Cofinite of 'a list *) |
| 2 | ||
| 3 | val empty : 'a t | val empty : 'a t |
| 4 | val full : 'a t | val any : 'a t |
| 5 | ||
| 6 | val cup : 'a t -> 'a t -> 'a t | val cup : 'a t -> 'a t -> 'a t |
| 7 | val cap : 'a t -> 'a t -> 'a t | val cap : 'a t -> 'a t -> 'a t |
|
||||||||
| CVS Admin">CVS Admin | ViewVC Help |
| Powered by ViewVC 1.1.5 |