Mavryk_raw_protocol_alpha.Commitment_storageval exists :
Raw_context.t ->
Blinded_public_key_hash.t ->
bool Mavryk_protocol_environment_alpha.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_alpha.Error_monad.tzresult
Mavryk_protocol_environment_alpha.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_alpha.Error_monad.tzresult
Mavryk_protocol_environment_alpha.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_alpha.Error_monad.tzresult
Mavryk_protocol_environment_alpha.Lwt.tval fold :
Raw_context.t ->
order:[ `Sorted | `Undefined ] ->
init:'a ->
f:
(Blinded_public_key_hash.t ->
Tez_repr.t ->
'a ->
'a Mavryk_protocol_environment_alpha.Lwt.t) ->
'a Mavryk_protocol_environment_alpha.Lwt.t