module M:sig
..end
typekey =
Base.t
type
leaf_annot
type
branch_annot
type
tt = private
| |
Empty |
| |
Leaf of |
| |
Branch of |
typet =
tt
val iter : (Base.t -> Ival.t -> unit) -> t -> unit
val find : key -> t -> Ival.t
val fold : (Base.t -> Ival.t -> 'a -> 'a) -> t -> 'a -> 'a