Module Condition_map.ConditionMapTree

Parameters

module Cond : Condition

Signature

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