Module type Interface.MEET_SEMILATTICE

type t
val meet : t -> t -> t