Module Tezos_raw_protocol_alpha.Commitment_storage

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

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

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