Condition_map.ConditionMapPartition
module Cond : Condition
type 'a t
module Make (L : L) : LConditionMapFold with module L = L and module Cond = Cond and type t = L.t t