Specify & verify RPC_query
- definition of validity for
RPC_query.t - propagation in the validity of
RPC_service.t - this also propagates the verification of
RPC_arg.t - verification of
Sapling_services.v
Edited by Guillaume Claret
RPC_query.t
RPC_service.t
RPC_arg.t
Sapling_services.v