Condition.MakeConditionMapTreePI
module Condition : Condition_map.Condition
module ConditionMapTree : sig ... end
module type SConditionMap = sig ... end
module MakeConditionMap (L : Condition_map.L) : sig ... end
module ConditionMap : sig ... end