Modules
 | Implemented. |
|---|---|
 | Not yet implemented. |
 | Compatibility with OCaml certified. |
 | Lacks or incompatibilities. |
| [] | Comments to read. |
Set
MODTYPE OrderedType | |
|---|---|
| compare |
|
MODTYPE S | |
| empty |
|
| is_empty |
|
| mem |
|
| add |
|
| singleton |
|
| remove |
|
| union |
|
| inter |
|
|---|---|
| diff |
|
| compare |
|
| equal |
|
| subset |
|
| iter |
|
| fold |
|
| for_all |
|
| exists |
|
| filter |
|
| partition |
|
|---|---|
| cardinal |
|
| elements |
|
| min_elt |
|
| max_elt |
|
| choose |
|
FUNCTOR Make |
|