plebeia

Functional storage using Merkle Patricia tree
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library plebeia
val max_length : int
val max_short_segment_length : int
val max_serialization_bytes : int
type side =
| Left
| Right
val string_of_side : side -> string
val string_of_sides : side list -> string
module Int63 : sig ... end
val nts : int Stdlib.ref
val nints : int Stdlib.ref
val stat : unit -> int * int
val count_segments : bool
module Vector : sig ... end
module Bits : sig ... end
include module type of struct include Bits end
module Type = Bits.Type
include module type of struct include Type end
type t = private Bits.Type.t = {
off : int;
len : int;
vec : Vector.t;
}
val mk : off:int -> len:int -> Vector.t -> t
val of_sides : side list -> t
val to_sides : t -> side list
val unsafe_get_side : t -> int -> side
val empty : t
val is_empty : t -> bool
val cut : t -> (side * t) option
val get_side : t -> int -> side option
val drop : int -> t -> t
val length : t -> int
val get_i63 : t -> int -> int
val append : t -> t -> t
val concat : t list -> t
val normalize : t -> t
val equal : t -> t -> bool
val equal_list : t list -> t list -> bool
val to_string : t -> string
val pp : Utils.Format.formatter -> t -> unit
val compare : t -> t -> int
val pp_debug : Utils.Format.formatter -> t -> unit
val common_prefix : t -> t -> t * t * t
type segment = Bits.t
type fat = [ `Left | `Right | `Segment of t ] list
val unfat : [< `Left | `Right | `Segment of t Left Right ] list -> t
val string_of_segments : t list -> string
val pp_segments : Utils.Format.formatter -> t list -> unit
val of_string : string -> t option
val gen_unsafe_of_encoding : int -> int -> string -> t
val unsafe_of_encoding : int -> string -> t
val to_encoding : t -> int * string
module Serialization : sig ... end
val encoding : t Data_encoding.encoding
module Segs : sig ... end
module StringEnc : sig ... end
module Internal : sig ... end