15 lines
370 B
Plaintext
15 lines
370 B
Plaintext
|
version 1 .
|
||
|
embeddedType sturdy.WireRef .
|
||
|
|
||
|
Assertion = any .
|
||
|
Handle = int .
|
||
|
Event = Assert / Retract / Message / Sync .
|
||
|
Oid = int .
|
||
|
Turn = [TurnEvent ...].
|
||
|
TurnEvent = [@oid Oid @event Event].
|
||
|
|
||
|
Assert = <assert @assertion Assertion @handle Handle>.
|
||
|
Retract = <retract @handle Handle>.
|
||
|
Message = <message @body Assertion>.
|
||
|
Sync = <sync @peer embedded>.
|