Vrf (consensus.Consensus.Data.Vrf)

val check : 
  context:(module Intf.CONTEXT) ->
  global_slot:Mina_numbers.Global_slot.t ->
  seed:Mina_base.Epoch_seed.t ->
  producer_private_key:Signature_lib.Private_key.t ->
  producer_public_key:Signature_lib.Public_key.Compressed.t ->
  total_stake:Currency.Amount.t ->
  get_delegators:
    ( Signature_lib.Public_key.Compressed.t ->
      Mina_base.Account.t Mina_base.Account.Index.Table.t option ) ->
  ( ([ `Vrf_eval of string ]
     * [> `Vrf_output of Consensus_vrf.Output_hash.t ]
     * [> `Delegator of
            Signature_lib.Public_key.Compressed.t * Mina_base.Account.Index.t ])
      option,
    unit )
    Interruptible.t