Module type Lattice_type.Join_Semi_Lattice

module type Join_Semi_Lattice = sig .. end

include Datatype.S

datatype of element of the lattice
val join : t -> t -> t
over-approximation of union
val is_included : t -> t -> bool
is first argument included in the second?