Module Bool.Join_Semilattice

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