Module MakeConditionMapPartitionPI.ConditionMapPartition

type 'a t = 'a Condition_map.ConditionMapPartition(Condition).t

module Make (L : Condition_map.L) : sig ... end