Module Bool.Meet_Semilattice

type t = bool
val meet : t -> t -> t