Alpha_context.SeedThis module re-exports definitions from Seed_repr and Seed_storage.
val seed_encoding : seed Mavryk_protocol_environment_alpha.Data_encoding.ttype vdf_solution =
  Mavryk_protocol_environment_alpha.Vdf.result
  * Mavryk_protocol_environment_alpha.Vdf.proofval vdf_solution_encoding : 
  vdf_solution Mavryk_protocol_environment_alpha.Data_encoding.tval pp_solution : 
  Mavryk_protocol_environment_alpha.Format.formatter ->
  vdf_solution ->
  unitval check_vdf : 
  context ->
  vdf_solution ->
  unit Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.tval compare_vdf_solution : vdf_solution -> vdf_solution -> intval compute_randao : 
  context ->
  context Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.tval get_seed_computation_status : 
  context ->
  seed_computation_status
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t