| module example_9 | |
| enum EchoMe { | |
| zero = 0; | |
| one = 1; | |
| } | |
| interface Echo { | |
| 0: Echo(uint32 @uint32) -> (uint32 response); | |
| 1: Echo(uint64 @uint64) -> (uint64 response); | |
| 2: Echo(EchoMe req) -> (EchoMe response); | |
| 3: Echo(handle req) -> (handle response); | |
| 4: Echo(handle<channel> req) -> (handle<channel> response); | |
| } | |
| const EchoMe favorite_echo = zero |