Condition.DomPIPartition
module Condition = ConditionDom
module M : sig ... end
module type SConditionMap = sig ... end
module ConditionMap : sig ... end
module MakeConditionMap (L : sig ... end) : sig ... end