module type JOIN_SEMILATTICE = sig .. end
sig
end
type t
val join : t -> t -> t
t -> t -> t
val bottom : t
t
val join_and_is_included : t -> t -> t * bool
t -> t -> t * bool
val pretty : Format.formatter -> t -> unit
Format.formatter -> t -> unit