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