Module MakeConditionMapPartitionPI.ConditionMapPartition

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