Fix.SEMI_LATTICE
The signature SEMI_LATTICE
offers separate leq
and join
functions. The functor Glue.MinimalSemiLattice
can be used, if necessary, to convert this signature to MINIMAL_SEMI_LATTICE
.
The type property
must form a partial order, which must satisfy the ascending chain condition: every monotone sequence must eventually stabilize.