Module Condition_map

exception Never_refined
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