Regenerate protocol modules

src/syndicate/protocols/protocol.nim

@@ -22,7 +22,7 @@ type
     `field0`*: seq[Preserve[void]]
 
   Sync* {.preservesRecord: "sync".} = object
-    `peer`* {.preservesLiteral: "#!<lit #t>".}: bool
+    `peer`* {.preservesLiteral: "#!<lit #t>".}: tuple[]
 
   TurnEvent* {.preservesTuple.} = object
     `oid`*: Oid

src/syndicate/protocols/secureChatProtocol.nim

@@ -24,11 +24,11 @@ type
   SessionKind* {.pure.} = enum
     `observeUsers`, `observeSpeech`, `NickClaim`, `Says`
   SessionObserveUsers*[Cap] {.preservesRecord: "Observe".} = object
-    `field0`* {.preservesLiteral: "user".}: bool
+    `field0`* {.preservesLiteral: "user".}: tuple[]
     `observer`*: Cap
 
   SessionObserveSpeech*[Cap] {.preservesRecord: "Observe".} = object
-    `field0`* {.preservesLiteral: "says".}: bool
+    `field0`* {.preservesLiteral: "says".}: tuple[]
     `observer`*: Cap
 
   `Session`*[Cap] {.preservesOr.} = object

src/syndicate/protocols/sturdy.nim

@@ -112,11 +112,11 @@ type
   WireRefKind* {.pure.} = enum
     `mine`, `yours`
   WireRefMine* {.preservesTuple.} = object
-    `field0`* {.preservesLiteral: "0".}: bool
+    `field0`* {.preservesLiteral: "0".}: tuple[]
     `oid`*: Oid
 
   WireRefYours*[Cap] {.preservesTuple.} = ref object
-    `field0`* {.preservesLiteral: "1".}: bool
+    `field0`* {.preservesLiteral: "1".}: tuple[]
     `oid`*: Oid
     `attenuation`* {.preservesTupleTail.}: seq[Caveat[Cap]]