package codex

  1. Overview
  2. Docs

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