Sourcetype level_query = {offset : int32;
} Sourceval current_level :
([ `GET ],
Tezos_protocol_alpha.Environment.Updater.rpc_context,
Tezos_protocol_alpha.Environment.Updater.rpc_context,
level_query,
unit,
Tezos_protocol_alpha.Protocol.Alpha_context.Level.t)
Tezos_protocol_alpha.Environment.RPC_service.service Sourceval levels_in_current_cycle :
([ `GET ],
Tezos_protocol_alpha.Environment.Updater.rpc_context,
Tezos_protocol_alpha.Environment.Updater.rpc_context,
level_query,
unit,
Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.t
* Tezos_protocol_alpha.Protocol.Alpha_context.Raw_level.t)
Tezos_protocol_alpha.Environment.RPC_service.service Sourceval round :
([ `GET ],
Tezos_protocol_alpha.Environment.Updater.rpc_context,
Tezos_protocol_alpha.Environment.Updater.rpc_context,
unit,
unit,
Tezos_protocol_alpha.Protocol.Alpha_context.Round.t)
Tezos_protocol_alpha.Environment.RPC_service.service