Module Memory_domains.Symbolic_boolean

module type AbstractBoolean = sig ... end

module Make (B : AbstractBoolean) : sig ... end