Mavryk_raw_protocol_001_PtAtLas.Commitment_storageval exists :
Raw_context.t ->
Blinded_public_key_hash.t ->
bool Mavryk_protocol_environment_001_PtAtLas.Lwt.texists 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 Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
Mavryk_protocol_environment_001_PtAtLas.Lwt.tcommitted_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 Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
Mavryk_protocol_environment_001_PtAtLas.Lwt.tval decrease_commitment_only_call_from_token :
Raw_context.t ->
Blinded_public_key_hash.t ->
Tez_repr.t ->
Raw_context.t Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
Mavryk_protocol_environment_001_PtAtLas.Lwt.t