package tezos-protocol-alpha

  1. Overview
  2. Docs
package tezos-protocol-alpha
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct