Condition_map
module type L = sig ... end
module type Condition = sig ... end
module type LConditionMap = sig ... end
module type LConditionMapFold = sig ... end
module ConditionMapTree (Cond : Condition) : sig ... end
module ConditionMapPartition (Cond : Condition) : sig ... end
module type TransferFunctions = sig ... end
module MakePathInsensitive
(Cond : Condition)
(M : sig ... end) :
TransferFunctions with module Cond = Cond and type 'a t = 'a M.t