package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Id : sig ... end
val fresh : temporary:bool -> context -> (context * Id.t, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
val mem : context -> Id.t -> Script_expr_hash.t -> (context * bool, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
val get_opt : context -> Id.t -> Script_expr_hash.t -> (context * Script.expr option, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
val exists : context -> Id.t -> (context * (Script.expr * Script.expr) option, Tezos_protocol_environment_alpha__Environment.Error_monad.error Tezos_protocol_environment_alpha__Environment.Error_monad.trace) Stdlib.result Lwt.t
type update = {
  1. key : Script_repr.expr;
  2. key_hash : Script_expr_hash.t;
  3. value : Script_repr.expr option;
}
type updates = update list
type alloc = {
  1. key_type : Script_repr.expr;
  2. value_type : Script_repr.expr;
}
OCaml

Innovation. Community. Security.