Evm_node_lib_dev_tezlink.Tezlink_constantsval parametric_repr :
Evm_node_lib_dev_tezlink.Tezlink_imports.Imported_protocol.Constants_parametric_repr.tval all_constants_repr :
Evm_node_lib_dev_tezlink.Tezlink_imports.Imported_protocol.Constants_repr.tval all_constants :
Evm_node_lib_dev_tezlink.Tezlink_imports.Imported_context.Constants.tval fitness :
level:int32 ->
predecessor_round:Tezos_raw_protocol_024_PtTALLiN.Round_repr.t ->
round:Tezos_raw_protocol_024_PtTALLiN.Round_repr.t ->
Tezos_base.TzPervasives.Fitness.t