tezos-protocol-alpha 20.1 · OCaml Package

Parameters

module Arg : sig ... end

Signature

type ('content, 'ptr) cell

val pp : 
  pp_ptr:(Format.formatter -> 'ptr -> unit) ->
  pp_content:(Format.formatter -> 'content -> unit) ->
  Format.formatter ->
  ('content, 'ptr) cell ->
  unit

val equal : 
  ('ptr -> 'ptr -> bool) ->
  ('content -> 'content -> bool) ->
  ('content, 'ptr) cell ->
  ('content, 'ptr) cell ->
  bool

val encoding : 
  'ptr Data_encoding.t ->
  'content Data_encoding.t ->
  ('content, 'ptr) cell Data_encoding.t

val index : ('a, 'b) cell -> Z.t

val content : ('content, 'ptr) cell -> 'content

val back_pointer : ('content, 'ptr) cell -> int -> 'ptr option

val back_pointers : ('content, 'ptr) cell -> 'ptr list

val genesis : 'content -> ('content, 'ptr) cell

val next : 
  prev_cell:('content, 'ptr) cell ->
  prev_cell_ptr:'ptr ->
  'content ->
  ('content, 'ptr) cell

type (!'ptr, !'content) search_cell_result =

| Found of ('ptr, 'content) cell
| Nearest of {
1. lower : ('ptr, 'content) cell;
2. upper : ('ptr, 'content) cell option;
}
| No_exact_or_lower_ptr
| Deref_returned_none

type (!'ptr, !'content) search_result = {

rev_path : ('ptr, 'content) cell list;
last_cell : ('ptr, 'content) search_cell_result;

}

val pp_search_result : 
  pp_cell:(Format.formatter -> ('ptr, 'content) cell -> unit) ->
  Format.formatter ->
  ('ptr, 'content) search_result ->
  unit

module type MONADIC = sig ... end

val find : 
  deref:('ptr -> ('content, 'ptr) cell option) ->
  cell_ptr:'ptr ->
  target_index:Z.t ->
  ('content, 'ptr) cell option

val back_path : 
  deref:('ptr -> ('content, 'ptr) cell option) ->
  cell_ptr:'ptr ->
  target_index:Z.t ->
  'ptr list option

val valid_back_path : 
  equal_ptr:('ptr -> 'ptr -> bool) ->
  deref:('ptr -> ('content, 'ptr) cell option) ->
  cell_ptr:'ptr ->
  target_ptr:'ptr ->
  'ptr list ->
  bool

val search : 
  deref:('ptr -> ('content, 'ptr) cell option) ->
  compare:('content -> int) ->
  cell:('content, 'ptr) cell ->
  ('content, 'ptr) search_result

module Lwt : sig ... end

module Make_monadic (M : MONAD) : sig ... end

package tezos-protocol-alpha

Parameters

Signature