package tezos-protocol-012-Psithaca

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type id = Lazy_storage_kind.Big_map.Id.t

module Next : sig ... end

val fold : 
  Raw_context.t ->
  order:[ `Sorted | `Undefined ] ->
  init:'a ->
  f:(id -> 'a -> 'a Tezos_protocol_environment_012_Psithaca.Lwt.t) ->
  'a Tezos_protocol_environment_012_Psithaca.Lwt.t

The domain of alive big maps

val list : 
  Raw_context.t ->
  id list Tezos_protocol_environment_012_Psithaca.Lwt.t

val remove : 
  Raw_context.t ->
  id ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Lwt.t

val copy : 
  Raw_context.t ->
  from:id ->
  to_:id ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

type key = Raw_context.t * id

val rpc_arg : id Tezos_protocol_environment_012_Psithaca.RPC_arg.t

module Contents : sig ... end

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

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

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