Module `Destination_services.S`

val index : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.Updater.rpc_context,
    Tezos_protocol_alpha.Environment.Updater.rpc_context
    * Tezos_protocol_alpha.Protocol.Alpha_context.Destination.t,
    unit,
    unit,
    Tezos_protocol_alpha.Environment.Z.t option)
    Tezos_protocol_alpha.Environment.RPC_service.t