package tezos-protocol-012-Psithaca

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result 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__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result 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__Environment.Error_monad.error Tezos_protocol_environment_012_Psithaca__Environment.Error_monad.trace) result Lwt.t
OCaml

Innovation. Community. Security.