Many_Valued_Logic.Bounded_Meet_Semilattice
Ok : Interface.BOUNDED_MEET_SEMILATTICE
Error : Interface.BOUNDED_MEET_SEMILATTICE
include Interface.MEET_SEMILATTICE
type t
val meet : t -> t -> t
val top : t