Parameter WithForeign.Map2

type 'a key = 'a key

type ('key, 'map) value

type 'map t

val empty : 'map t

val leaf : 'key key -> ('key, 'map) value -> 'map t

val branch : prefix:int -> branching_bit:int -> tree0:'map t -> tree1:'map t -> 'map t

type !'map2 view = private

1. | Empty : 'map view
2. | Branch : {
   1. prefix : int;
   2. branching_bit : int;
   3. tree0 : 'map0 t;
   4. tree1 : 'map0 t;
   } -> 'map0 view
3. | Leaf : {
   1. key : 'key key;
   2. value : ('key, 'map1) value;
   } -> 'map1 view

val is_empty : 'map t -> bool

val view : 'a t -> 'a view

val find : 'key key -> 'map t -> ('key, 'map) value

val find_opt : 'key key -> 'map t -> ('key, 'map) value option