Bastet__Bool.Bounded_Meet_Semilattice
include Bastet.Interface.MEET_SEMILATTICE
type t
val meet : t -> t -> t
val top : t