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