package tezos-protocol-012-Psithaca

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val init : 
  Raw_context.t ->
  Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val allocated : 
  Raw_context.t ->
  Contract_repr.t ->
  bool Tezos_protocol_environment_012_Psithaca.Lwt.t

val get : 
  Raw_context.t ->
  Contract_repr.t ->
  Storage.deposits Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val find : 
  Raw_context.t ->
  Contract_repr.t ->
  Storage.deposits option
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val credit_only_call_from_token : 
  Raw_context.t ->
  Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t ->
  Tez_repr.t ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val spend_only_call_from_token : 
  Raw_context.t ->
  Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t ->
  Tez_repr.t ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val update_deposits_cap : 
  Raw_context.t ->
  Contract_repr.t ->
  Tez_repr.t ->
  (Raw_context.t * Tez_repr.t)
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t