Module type Interface.JOIN_SEMILATTICE

type t
val join : t -> t -> t