1 2 3 4 5 6 7 8 9 10 11 12 13 14
namespace chat { struct Message { text: String (length=1..2048), } enum SendError { PermissionDenied } service Server { send: Message -> Result<None, SendError>, } service Client { on_message: Message -> None, } }