Module Tezos_raw_protocol_alpha.Commitment_storageSource

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.