package tezos-protocol-006-PsCARTHA

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Next : sig ... end

val fold : 
  Raw_context.t ->
  init:'a ->
  f:
    (Tezos_protocol_environment_006_PsCARTHA.Z.t ->
      'a ->
      'a Tezos_protocol_environment_006_PsCARTHA.Lwt.t) ->
  'a Tezos_protocol_environment_006_PsCARTHA.Lwt.t

The domain of alive big maps

val list : 
  Raw_context.t ->
  Tezos_protocol_environment_006_PsCARTHA.Z.t list
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val remove_rec : 
  Raw_context.t ->
  Tezos_protocol_environment_006_PsCARTHA.Z.t ->
  Raw_context.t Tezos_protocol_environment_006_PsCARTHA.Lwt.t

val copy : 
  Raw_context.t ->
  from:Tezos_protocol_environment_006_PsCARTHA.Z.t ->
  to_:Tezos_protocol_environment_006_PsCARTHA.Z.t ->
  Raw_context.t Tezos_protocol_environment_006_PsCARTHA.Error_monad.tzresult
    Tezos_protocol_environment_006_PsCARTHA.Lwt.t

type key = Raw_context.t * Tezos_protocol_environment_006_PsCARTHA.Z.t

val rpc_arg : 
  Tezos_protocol_environment_006_PsCARTHA.Z.t
    Tezos_protocol_environment_006_PsCARTHA.RPC_arg.t

module Contents : 
  Storage_sigs.Non_iterable_indexed_carbonated_data_storage
    with type key = Script_expr_hash.t
     and type value = Script_repr.expr
     and type t := key

module Total_bytes : 
  Storage_sigs.Indexed_data_storage
    with type key = Tezos_protocol_environment_006_PsCARTHA.Z.t
     and type value = Tezos_protocol_environment_006_PsCARTHA.Z.t
     and type t := Raw_context.t

module Key_type : 
  Storage_sigs.Indexed_data_storage
    with type key = Tezos_protocol_environment_006_PsCARTHA.Z.t
     and type value = Script_repr.expr
     and type t := Raw_context.t

module Value_type : 
  Storage_sigs.Indexed_data_storage
    with type key = Tezos_protocol_environment_006_PsCARTHA.Z.t
     and type value = Script_repr.expr
     and type t := Raw_context.t