2021-05-27 08:36:35 +00:00
|
|
|
version 1 .
|
|
|
|
|
2022-01-16 20:17:36 +00:00
|
|
|
Packet = Turn / Error / Extension .
|
|
|
|
|
2022-01-16 23:22:10 +00:00
|
|
|
Extension = <<rec> @label any @fields [any ...]> .
|
2021-07-02 08:11:53 +00:00
|
|
|
|
|
|
|
Error = <error @message string @detail any>.
|
|
|
|
|
2021-05-27 08:36:35 +00:00
|
|
|
Assertion = any .
|
|
|
|
Handle = int .
|
|
|
|
Event = Assert / Retract / Message / Sync .
|
|
|
|
Oid = int .
|
|
|
|
Turn = [TurnEvent ...].
|
|
|
|
TurnEvent = [@oid Oid @event Event].
|
|
|
|
|
2023-12-19 08:37:41 +00:00
|
|
|
Assert = <A @assertion Assertion @handle Handle>.
|
|
|
|
Retract = <R @handle Handle>.
|
|
|
|
Message = <M @body Assertion>.
|
2024-02-05 22:14:19 +00:00
|
|
|
Sync = <S @peer #:#t>.
|