module type Join_Semi_Lattice = sig .. end
sig
end
include Datatype.S
val join : t -> t -> t
t -> t -> t
val is_included : t -> t -> bool
t -> t -> bool
val join_and_is_included : t -> t -> t * bool
t -> t -> t * bool