module Mode: sig .. end
The four modes.
type
| |
ModeBottom |
| |
ModeDuplicable |
| |
ModeExclusive |
| |
ModeAffine |
val bottom : mode
The least element of the lattice.
val top : mode
The greatest element of the lattice.
val equal : mode -> mode -> bool
Equality.
val compare : mode -> mode -> int
Ordering.
val is_maximal : mode -> bool
A test for the top element of the lattice.
val leq : mode -> mode -> bool
The lattice ordering.
val meet : mode -> mode -> mode
The lattice meet (i.e., greatest lower bound).
val print : mode -> string
Printing.
module ModeMap: sig .. end
Maps over modes.