Module OptionF.Bool

module Eq : sig ... end
module Ord : sig ... end
module Conjunctive : sig ... end
module Disjunctive : sig ... end