package octez-protocol-alpha-libs

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val prefix : string

module Hash : Tezos_protocol_environment_alpha.S.HASH

module ML : sig ... end

include module type of struct include ML end

type t = ML.t

type h = Hash.t

type elt = bytes

type path = ML.path

val dummy_path : path

val pp_path : Tezos_protocol_environment_alpha.Format.formatter -> path -> unit

val nil : t

val empty : h

val root : t -> h

val snoc : t -> elt -> t

val snoc_tr : t -> elt -> t

val of_list : elt list -> t

val compute : elt list -> h

val path_encoding : path Tezos_protocol_environment_alpha.Data_encoding.t

val bounded_path_encoding : 
  ?max_length:int ->
  unit ->
  path Tezos_protocol_environment_alpha.Data_encoding.t

val compute_path : 
  t ->
  int ->
  path Tezos_protocol_environment_alpha.Error_monad.tzresult

val check_path : 
  path ->
  int ->
  elt ->
  h ->
  bool Tezos_protocol_environment_alpha.Error_monad.tzresult

val path_depth : path -> int

val elt_bytes : elt -> Tezos_protocol_environment_alpha.Bytes.t

module Internal_for_tests = ML.Internal_for_tests

val hash2 : Hash.t -> Hash.t -> Hash.t