Module Framework.Lattices

module Pair : sig ... end

Lattice of pairs

module Partial_inversible_map : sig ... end

Lattice of partial inversible maps.

module Partial_inversible_map_sig : sig ... end

Lattice of partial inversible maps.

module Partial_map : sig ... end

Lattice of partial maps.

module Pointwise : sig ... end

Pointwise lattice construction.

module Powerset : sig ... end

Powerset lattice with finite cardinality elements or ⊺.

module Powerset_sig : sig ... end

Powerset lattice with finite cardinality elements or ⊺.

module Powersetwithunder : sig ... end