package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module Arg : sig ... end

Signature

type ('content, 'ptr) cell
val pp : pp_ptr:(Stdlib.Format.formatter -> 'ptr -> unit) -> pp_content:(Stdlib.Format.formatter -> 'content -> unit) -> Stdlib.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 =
  1. | Found of ('ptr, 'content) cell
  2. | Nearest of {
    1. lower : ('ptr, 'content) cell;
    2. upper : ('ptr, 'content) cell option;
    }
  3. | No_exact_or_lower_ptr
  4. | Deref_returned_none
type (!'ptr, !'content) search_result = {
  1. rev_path : ('ptr, 'content) cell list;
  2. last_cell : ('ptr, 'content) search_cell_result;
}
val pp_search_result : pp_cell:(Stdlib.Format.formatter -> ('ptr, 'content) cell -> unit) -> Stdlib.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
module Lwt : sig ... end
module Make_monadic (M : MONAD) : sig ... end
OCaml

Innovation. Community. Security.