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