Interface.DISTRIBUTIVE_LATTICE
include LATTICE
include JOIN_SEMILATTICE
type t
val join : t -> t -> t
include MEET_SEMILATTICE with type t := t
val meet : t -> t -> t