Module type Eva_lattice_type.Join_Semi_Lattice

module type Join_Semi_Lattice = Lattice_type.Join_Semi_Lattice

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?