package tezos-protocol-012-Psithaca

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val exists : 
  Raw_context.t ->
  Blinded_public_key_hash.t ->
  bool Tezos_protocol_environment_012_Psithaca.Lwt.t

exists ctxt bpkh returns true iff bpkh is associated to a non null commitment.

val committed_amount : 
  Raw_context.t ->
  Blinded_public_key_hash.t ->
  Tez_repr.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

committed_amount ctxt bpkh return the commitment associated to bpkh, or Tez_repr.zero if bpkh has no associated commitment.

val increase_commitment_only_call_from_token : 
  Raw_context.t ->
  Blinded_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 decrease_commitment_only_call_from_token : 
  Raw_context.t ->
  Blinded_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