package tezos-protocol-008-PtEdo2Zk

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Id : sig ... end

val fresh : 
  temporary:bool ->
  context ->
  (context * Id.t) Tezos_protocol_environment_008_PtEdo2Zk.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdo2Zk.Lwt.t

val mem : 
  context ->
  Id.t ->
  Script_expr_hash.t ->
  (context * bool) Tezos_protocol_environment_008_PtEdo2Zk.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdo2Zk.Lwt.t

val get_opt : 
  context ->
  Id.t ->
  Script_expr_hash.t ->
  (context * Script.expr option)
    Tezos_protocol_environment_008_PtEdo2Zk.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdo2Zk.Lwt.t

val exists : 
  context ->
  Id.t ->
  (context * (Script.expr * Script.expr) option)
    Tezos_protocol_environment_008_PtEdo2Zk.Error_monad.tzresult
    Tezos_protocol_environment_008_PtEdo2Zk.Lwt.t

type update = {

key : Script_repr.expr;
key_hash : Script_expr_hash.t;
value : Script_repr.expr option;

}

type updates = update list

type alloc = {

key_type : Script_repr.expr;
value_type : Script_repr.expr;

}