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