Checked (consensus.Consensus_vrf.Threshold.Checked)

val balance_upper_bound : Bignum_bigint.t

val amount_upper_bound : Bignum_bigint.t

val is_satisfied : 
  my_stake:Currency.Balance.var ->
  total_stake:Currency.Amount.var ->
  Output.Truncated.var ->
  Snark_params.Tick.Run.field Snarky_backendless.Cvar.t
    Snarky_backendless.Boolean.t
    Snark_params.Tick.Run.Internal_Basic.Checked.t