Condition.HomeMadeBDDPartitionPI
module Condition = ConditionMy
include sig ... end
module ConditionMapPartition : sig ... end
module type SConditionMap = sig ... end
module MakeConditionMap (L : Condition_map.L) : sig ... end
module ConditionMap : sig ... end