spacetimedb 0.0.1

package/src/autogen/raw_table_def_v_9_type.ts

@@ -0,0 +1,117 @@
+// THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
+// WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.
+
+/* eslint-disable */
+/* tslint:disable */
+import {
+  AlgebraicType as __AlgebraicTypeValue,
+  BinaryReader as __BinaryReader,
+  BinaryWriter as __BinaryWriter,
+  ConnectionId as __ConnectionId,
+  Identity as __Identity,
+  TimeDuration as __TimeDuration,
+  Timestamp as __Timestamp,
+  deepEqual as __deepEqual,
+  type AlgebraicType as __AlgebraicTypeType,
+  type AlgebraicTypeVariants as __AlgebraicTypeVariants,
+} from '../index';
+import { RawIndexDefV9 } from './raw_index_def_v_9_type';
+// Mark import as potentially unused
+declare type __keep_RawIndexDefV9 = RawIndexDefV9;
+import { RawConstraintDefV9 } from './raw_constraint_def_v_9_type';
+// Mark import as potentially unused
+declare type __keep_RawConstraintDefV9 = RawConstraintDefV9;
+import { RawSequenceDefV9 } from './raw_sequence_def_v_9_type';
+// Mark import as potentially unused
+declare type __keep_RawSequenceDefV9 = RawSequenceDefV9;
+import { RawScheduleDefV9 } from './raw_schedule_def_v_9_type';
+// Mark import as potentially unused
+declare type __keep_RawScheduleDefV9 = RawScheduleDefV9;
+import { TableType } from './table_type_type';
+// Mark import as potentially unused
+declare type __keep_TableType = TableType;
+import { TableAccess } from './table_access_type';
+// Mark import as potentially unused
+declare type __keep_TableAccess = TableAccess;
+
+export type RawTableDefV9 = {
+  name: string;
+  productTypeRef: number;
+  primaryKey: number[];
+  indexes: RawIndexDefV9[];
+  constraints: RawConstraintDefV9[];
+  sequences: RawSequenceDefV9[];
+  schedule: RawScheduleDefV9 | undefined;
+  tableType: TableType;
+  tableAccess: TableAccess;
+};
+/**
+ * An object for generated helper functions.
+ */
+export const RawTableDefV9 = {
+  /**
+   * A function which returns this type represented as an AlgebraicType.
+   * This function is derived from the AlgebraicType used to generate this type.
+   */
+  getTypeScriptAlgebraicType(): __AlgebraicTypeType {
+    return __AlgebraicTypeValue.Product({
+      elements: [
+        { name: 'name', algebraicType: __AlgebraicTypeValue.String },
+        { name: 'productTypeRef', algebraicType: __AlgebraicTypeValue.U32 },
+        {
+          name: 'primaryKey',
+          algebraicType: __AlgebraicTypeValue.Array(__AlgebraicTypeValue.U16),
+        },
+        {
+          name: 'indexes',
+          algebraicType: __AlgebraicTypeValue.Array(
+            RawIndexDefV9.getTypeScriptAlgebraicType()
+          ),
+        },
+        {
+          name: 'constraints',
+          algebraicType: __AlgebraicTypeValue.Array(
+            RawConstraintDefV9.getTypeScriptAlgebraicType()
+          ),
+        },
+        {
+          name: 'sequences',
+          algebraicType: __AlgebraicTypeValue.Array(
+            RawSequenceDefV9.getTypeScriptAlgebraicType()
+          ),
+        },
+        {
+          name: 'schedule',
+          algebraicType: __AlgebraicTypeValue.createOptionType(
+            RawScheduleDefV9.getTypeScriptAlgebraicType()
+          ),
+        },
+        {
+          name: 'tableType',
+          algebraicType: TableType.getTypeScriptAlgebraicType(),
+        },
+        {
+          name: 'tableAccess',
+          algebraicType: TableAccess.getTypeScriptAlgebraicType(),
+        },
+      ],
+    });
+  },
+
+  serialize(writer: __BinaryWriter, value: RawTableDefV9): void {
+    __AlgebraicTypeValue.serializeValue(
+      writer,
+      RawTableDefV9.getTypeScriptAlgebraicType(),
+      value
+    );
+  },
+
+  deserialize(reader: __BinaryReader): RawTableDefV9 {
+    return __AlgebraicTypeValue.deserializeValue(
+      reader,
+      RawTableDefV9.getTypeScriptAlgebraicType()
+    );
+  },
+};
+
+export default RawTableDefV9;

package/src/autogen/raw_type_def_v_9_type.ts

@@ -0,0 +1,64 @@
+// THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
+// WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.
+
+/* eslint-disable */
+/* tslint:disable */
+import {
+  AlgebraicType as __AlgebraicTypeValue,
+  BinaryReader as __BinaryReader,
+  BinaryWriter as __BinaryWriter,
+  ConnectionId as __ConnectionId,
+  Identity as __Identity,
+  TimeDuration as __TimeDuration,
+  Timestamp as __Timestamp,
+  deepEqual as __deepEqual,
+  type AlgebraicType as __AlgebraicTypeType,
+  type AlgebraicTypeVariants as __AlgebraicTypeVariants,
+} from '../index';
+import { RawScopedTypeNameV9 } from './raw_scoped_type_name_v_9_type';
+// Mark import as potentially unused
+declare type __keep_RawScopedTypeNameV9 = RawScopedTypeNameV9;
+
+export type RawTypeDefV9 = {
+  name: RawScopedTypeNameV9;
+  ty: number;
+  customOrdering: boolean;
+};
+/**
+ * An object for generated helper functions.
+ */
+export const RawTypeDefV9 = {
+  /**
+   * A function which returns this type represented as an AlgebraicType.
+   * This function is derived from the AlgebraicType used to generate this type.
+   */
+  getTypeScriptAlgebraicType(): __AlgebraicTypeType {
+    return __AlgebraicTypeValue.Product({
+      elements: [
+        {
+          name: 'name',
+          algebraicType: RawScopedTypeNameV9.getTypeScriptAlgebraicType(),
+        },
+        { name: 'ty', algebraicType: __AlgebraicTypeValue.U32 },
+        { name: 'customOrdering', algebraicType: __AlgebraicTypeValue.Bool },
+      ],
+    });
+  },
+
+  serialize(writer: __BinaryWriter, value: RawTypeDefV9): void {
+    __AlgebraicTypeValue.serializeValue(
+      writer,
+      RawTypeDefV9.getTypeScriptAlgebraicType(),
+      value
+    );
+  },
+
+  deserialize(reader: __BinaryReader): RawTypeDefV9 {
+    return __AlgebraicTypeValue.deserializeValue(
+      reader,
+      RawTypeDefV9.getTypeScriptAlgebraicType()
+    );
+  },
+};
+
+export default RawTypeDefV9;

package/src/autogen/raw_unique_constraint_data_v_9_type.ts

@@ -0,0 +1,57 @@
+// THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
+// WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.
+
+/* eslint-disable */
+/* tslint:disable */
+import {
+  AlgebraicType as __AlgebraicTypeValue,
+  BinaryReader as __BinaryReader,
+  BinaryWriter as __BinaryWriter,
+  ConnectionId as __ConnectionId,
+  Identity as __Identity,
+  TimeDuration as __TimeDuration,
+  Timestamp as __Timestamp,
+  deepEqual as __deepEqual,
+  type AlgebraicType as __AlgebraicTypeType,
+  type AlgebraicTypeVariants as __AlgebraicTypeVariants,
+} from '../index';
+
+export type RawUniqueConstraintDataV9 = {
+  columns: number[];
+};
+/**
+ * An object for generated helper functions.
+ */
+export const RawUniqueConstraintDataV9 = {
+  /**
+   * A function which returns this type represented as an AlgebraicType.
+   * This function is derived from the AlgebraicType used to generate this type.
+   */
+  getTypeScriptAlgebraicType(): __AlgebraicTypeType {
+    return __AlgebraicTypeValue.Product({
+      elements: [
+        {
+          name: 'columns',
+          algebraicType: __AlgebraicTypeValue.Array(__AlgebraicTypeValue.U16),
+        },
+      ],
+    });
+  },
+
+  serialize(writer: __BinaryWriter, value: RawUniqueConstraintDataV9): void {
+    __AlgebraicTypeValue.serializeValue(
+      writer,
+      RawUniqueConstraintDataV9.getTypeScriptAlgebraicType(),
+      value
+    );
+  },
+
+  deserialize(reader: __BinaryReader): RawUniqueConstraintDataV9 {
+    return __AlgebraicTypeValue.deserializeValue(
+      reader,
+      RawUniqueConstraintDataV9.getTypeScriptAlgebraicType()
+    );
+  },
+};
+
+export default RawUniqueConstraintDataV9;

package/src/autogen/reducer_def_type.ts

@@ -0,0 +1,64 @@
+// THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
+// WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.
+
+/* eslint-disable */
+/* tslint:disable */
+import {
+  AlgebraicType as __AlgebraicTypeValue,
+  BinaryReader as __BinaryReader,
+  BinaryWriter as __BinaryWriter,
+  ConnectionId as __ConnectionId,
+  Identity as __Identity,
+  TimeDuration as __TimeDuration,
+  Timestamp as __Timestamp,
+  deepEqual as __deepEqual,
+  type AlgebraicType as __AlgebraicTypeType,
+  type AlgebraicTypeVariants as __AlgebraicTypeVariants,
+} from '../index';
+import { ProductTypeElement } from './product_type_element_type';
+// Mark import as potentially unused
+declare type __keep_ProductTypeElement = ProductTypeElement;
+
+export type ReducerDef = {
+  name: string;
+  args: ProductTypeElement[];
+};
+/**
+ * An object for generated helper functions.
+ */
+export const ReducerDef = {
+  /**
+   * A function which returns this type represented as an AlgebraicType.
+   * This function is derived from the AlgebraicType used to generate this type.
+   */
+  getTypeScriptAlgebraicType(): __AlgebraicTypeType {
+    return __AlgebraicTypeValue.Product({
+      elements: [
+        { name: 'name', algebraicType: __AlgebraicTypeValue.String },
+        {
+          name: 'args',
+          algebraicType: __AlgebraicTypeValue.Array(
+            ProductTypeElement.getTypeScriptAlgebraicType()
+          ),
+        },
+      ],
+    });
+  },
+
+  serialize(writer: __BinaryWriter, value: ReducerDef): void {
+    __AlgebraicTypeValue.serializeValue(
+      writer,
+      ReducerDef.getTypeScriptAlgebraicType(),
+      value
+    );
+  },
+
+  deserialize(reader: __BinaryReader): ReducerDef {
+    return __AlgebraicTypeValue.deserializeValue(
+      reader,
+      ReducerDef.getTypeScriptAlgebraicType()
+    );
+  },
+};
+
+export default ReducerDef;

package/src/autogen/sum_type_type.ts

@@ -0,0 +1,62 @@
+// THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
+// WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.
+
+/* eslint-disable */
+/* tslint:disable */
+import {
+  AlgebraicType as __AlgebraicTypeValue,
+  BinaryReader as __BinaryReader,
+  BinaryWriter as __BinaryWriter,
+  ConnectionId as __ConnectionId,
+  Identity as __Identity,
+  TimeDuration as __TimeDuration,
+  Timestamp as __Timestamp,
+  deepEqual as __deepEqual,
+  type AlgebraicType as __AlgebraicTypeType,
+  type AlgebraicTypeVariants as __AlgebraicTypeVariants,
+} from '../index';
+import { SumTypeVariant } from './sum_type_variant_type';
+// Mark import as potentially unused
+declare type __keep_SumTypeVariant = SumTypeVariant;
+
+export type SumType = {
+  variants: SumTypeVariant[];
+};
+/**
+ * An object for generated helper functions.
+ */
+export const SumType = {
+  /**
+   * A function which returns this type represented as an AlgebraicType.
+   * This function is derived from the AlgebraicType used to generate this type.
+   */
+  getTypeScriptAlgebraicType(): __AlgebraicTypeType {
+    return __AlgebraicTypeValue.Product({
+      elements: [
+        {
+          name: 'variants',
+          algebraicType: __AlgebraicTypeValue.Array(
+            SumTypeVariant.getTypeScriptAlgebraicType()
+          ),
+        },
+      ],
+    });
+  },
+
+  serialize(writer: __BinaryWriter, value: SumType): void {
+    __AlgebraicTypeValue.serializeValue(
+      writer,
+      SumType.getTypeScriptAlgebraicType(),
+      value
+    );
+  },
+
+  deserialize(reader: __BinaryReader): SumType {
+    return __AlgebraicTypeValue.deserializeValue(
+      reader,
+      SumType.getTypeScriptAlgebraicType()
+    );
+  },
+};
+
+export default SumType;

package/src/autogen/sum_type_variant_type.ts

@@ -0,0 +1,67 @@
+// THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
+// WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.
+
+/* eslint-disable */
+/* tslint:disable */
+import {
+  AlgebraicType as __AlgebraicTypeValue,
+  BinaryReader as __BinaryReader,
+  BinaryWriter as __BinaryWriter,
+  ConnectionId as __ConnectionId,
+  Identity as __Identity,
+  TimeDuration as __TimeDuration,
+  Timestamp as __Timestamp,
+  deepEqual as __deepEqual,
+  type AlgebraicType as __AlgebraicTypeType,
+  type AlgebraicTypeVariants as __AlgebraicTypeVariants,
+} from '../index';
+import { AlgebraicType } from './algebraic_type_type';
+// Mark import as potentially unused
+declare type __keep_AlgebraicType = AlgebraicType;
+
+export type SumTypeVariant = {
+  name: string | undefined;
+  algebraicType: AlgebraicType;
+};
+/**
+ * An object for generated helper functions.
+ */
+export const SumTypeVariant = {
+  /**
+   * A function which returns this type represented as an AlgebraicType.
+   * This function is derived from the AlgebraicType used to generate this type.
+   */
+  getTypeScriptAlgebraicType(): __AlgebraicTypeType {
+    return __AlgebraicTypeValue.Product({
+      elements: [
+        {
+          name: 'name',
+          algebraicType: __AlgebraicTypeValue.createOptionType(
+            __AlgebraicTypeValue.String
+          ),
+        },
+        {
+          name: 'algebraicType',
+          algebraicType: AlgebraicType.getTypeScriptAlgebraicType(),
+        },
+      ],
+    });
+  },
+
+  serialize(writer: __BinaryWriter, value: SumTypeVariant): void {
+    __AlgebraicTypeValue.serializeValue(
+      writer,
+      SumTypeVariant.getTypeScriptAlgebraicType(),
+      value
+    );
+  },
+
+  deserialize(reader: __BinaryReader): SumTypeVariant {
+    return __AlgebraicTypeValue.deserializeValue(
+      reader,
+      SumTypeVariant.getTypeScriptAlgebraicType()
+    );
+  },
+};
+
+export default SumTypeVariant;

package/src/autogen/table_access_type.ts

@@ -0,0 +1,67 @@
+// THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
+// WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.
+
+/* eslint-disable */
+/* tslint:disable */
+import {
+  AlgebraicType as __AlgebraicTypeValue,
+  BinaryReader as __BinaryReader,
+  BinaryWriter as __BinaryWriter,
+  ConnectionId as __ConnectionId,
+  Identity as __Identity,
+  TimeDuration as __TimeDuration,
+  Timestamp as __Timestamp,
+  deepEqual as __deepEqual,
+  type AlgebraicType as __AlgebraicTypeType,
+  type AlgebraicTypeVariants as __AlgebraicTypeVariants,
+} from '../index';
+import * as TableAccessVariants from './table_access_variants';
+
+// The tagged union or sum type for the algebraic type `TableAccess`.
+export type TableAccess =
+  | TableAccessVariants.Public
+  | TableAccessVariants.Private;
+
+// A value with helper functions to construct the type.
+export const TableAccess = {
+  // Helper functions for constructing each variant of the tagged union.
+  // ```
+  // const foo = Foo.A(42);
+  // assert!(foo.tag === "A");
+  // assert!(foo.value === 42);
+  // ```
+  Public: { tag: 'Public' } as const,
+  Private: { tag: 'Private' } as const,
+
+  getTypeScriptAlgebraicType(): __AlgebraicTypeType {
+    return __AlgebraicTypeValue.Sum({
+      variants: [
+        {
+          name: 'Public',
+          algebraicType: __AlgebraicTypeValue.Product({ elements: [] }),
+        },
+        {
+          name: 'Private',
+          algebraicType: __AlgebraicTypeValue.Product({ elements: [] }),
+        },
+      ],
+    });
+  },
+
+  serialize(writer: __BinaryWriter, value: TableAccess): void {
+    __AlgebraicTypeValue.serializeValue(
+      writer,
+      TableAccess.getTypeScriptAlgebraicType(),
+      value
+    );
+  },
+
+  deserialize(reader: __BinaryReader): TableAccess {
+    return __AlgebraicTypeValue.deserializeValue(
+      reader,
+      TableAccess.getTypeScriptAlgebraicType()
+    );
+  },
+};
+
+export default TableAccess;

package/src/autogen/table_access_variants.ts

@@ -0,0 +1,20 @@
+// THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
+// WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.
+
+/* eslint-disable */
+/* tslint:disable */
+import {
+  AlgebraicType as __AlgebraicTypeValue,
+  BinaryReader as __BinaryReader,
+  BinaryWriter as __BinaryWriter,
+  ConnectionId as __ConnectionId,
+  Identity as __Identity,
+  TimeDuration as __TimeDuration,
+  Timestamp as __Timestamp,
+  deepEqual as __deepEqual,
+  type AlgebraicType as __AlgebraicTypeType,
+  type AlgebraicTypeVariants as __AlgebraicTypeVariants,
+} from '../index';
+
+export type Public = { tag: 'Public' };
+export type Private = { tag: 'Private' };

package/src/autogen/table_desc_type.ts

@@ -0,0 +1,62 @@
+// THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
+// WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.
+
+/* eslint-disable */
+/* tslint:disable */
+import {
+  AlgebraicType as __AlgebraicTypeValue,
+  BinaryReader as __BinaryReader,
+  BinaryWriter as __BinaryWriter,
+  ConnectionId as __ConnectionId,
+  Identity as __Identity,
+  TimeDuration as __TimeDuration,
+  Timestamp as __Timestamp,
+  deepEqual as __deepEqual,
+  type AlgebraicType as __AlgebraicTypeType,
+  type AlgebraicTypeVariants as __AlgebraicTypeVariants,
+} from '../index';
+import { RawTableDefV8 } from './raw_table_def_v_8_type';
+// Mark import as potentially unused
+declare type __keep_RawTableDefV8 = RawTableDefV8;
+
+export type TableDesc = {
+  schema: RawTableDefV8;
+  data: number;
+};
+/**
+ * An object for generated helper functions.
+ */
+export const TableDesc = {
+  /**
+   * A function which returns this type represented as an AlgebraicType.
+   * This function is derived from the AlgebraicType used to generate this type.
+   */
+  getTypeScriptAlgebraicType(): __AlgebraicTypeType {
+    return __AlgebraicTypeValue.Product({
+      elements: [
+        {
+          name: 'schema',
+          algebraicType: RawTableDefV8.getTypeScriptAlgebraicType(),
+        },
+        { name: 'data', algebraicType: __AlgebraicTypeValue.U32 },
+      ],
+    });
+  },
+
+  serialize(writer: __BinaryWriter, value: TableDesc): void {
+    __AlgebraicTypeValue.serializeValue(
+      writer,
+      TableDesc.getTypeScriptAlgebraicType(),
+      value
+    );
+  },
+
+  deserialize(reader: __BinaryReader): TableDesc {
+    return __AlgebraicTypeValue.deserializeValue(
+      reader,
+      TableDesc.getTypeScriptAlgebraicType()
+    );
+  },
+};
+
+export default TableDesc;

package/src/autogen/table_type_type.ts

@@ -0,0 +1,65 @@
+// THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
+// WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.
+
+/* eslint-disable */
+/* tslint:disable */
+import {
+  AlgebraicType as __AlgebraicTypeValue,
+  BinaryReader as __BinaryReader,
+  BinaryWriter as __BinaryWriter,
+  ConnectionId as __ConnectionId,
+  Identity as __Identity,
+  TimeDuration as __TimeDuration,
+  Timestamp as __Timestamp,
+  deepEqual as __deepEqual,
+  type AlgebraicType as __AlgebraicTypeType,
+  type AlgebraicTypeVariants as __AlgebraicTypeVariants,
+} from '../index';
+import * as TableTypeVariants from './table_type_variants';
+
+// The tagged union or sum type for the algebraic type `TableType`.
+export type TableType = TableTypeVariants.System | TableTypeVariants.User;
+
+// A value with helper functions to construct the type.
+export const TableType = {
+  // Helper functions for constructing each variant of the tagged union.
+  // ```
+  // const foo = Foo.A(42);
+  // assert!(foo.tag === "A");
+  // assert!(foo.value === 42);
+  // ```
+  System: { tag: 'System' } as const,
+  User: { tag: 'User' } as const,
+
+  getTypeScriptAlgebraicType(): __AlgebraicTypeType {
+    return __AlgebraicTypeValue.Sum({
+      variants: [
+        {
+          name: 'System',
+          algebraicType: __AlgebraicTypeValue.Product({ elements: [] }),
+        },
+        {
+          name: 'User',
+          algebraicType: __AlgebraicTypeValue.Product({ elements: [] }),
+        },
+      ],
+    });
+  },
+
+  serialize(writer: __BinaryWriter, value: TableType): void {
+    __AlgebraicTypeValue.serializeValue(
+      writer,
+      TableType.getTypeScriptAlgebraicType(),
+      value
+    );
+  },
+
+  deserialize(reader: __BinaryReader): TableType {
+    return __AlgebraicTypeValue.deserializeValue(
+      reader,
+      TableType.getTypeScriptAlgebraicType()
+    );
+  },
+};
+
+export default TableType;

package/src/autogen/table_type_variants.ts

@@ -0,0 +1,20 @@
+// THIS FILE IS AUTOMATICALLY GENERATED BY SPACETIMEDB. EDITS TO THIS FILE
+// WILL NOT BE SAVED. MODIFY TABLES IN YOUR MODULE SOURCE CODE INSTEAD.
+
+/* eslint-disable */
+/* tslint:disable */
+import {
+  AlgebraicType as __AlgebraicTypeValue,
+  BinaryReader as __BinaryReader,
+  BinaryWriter as __BinaryWriter,
+  ConnectionId as __ConnectionId,
+  Identity as __Identity,
+  TimeDuration as __TimeDuration,
+  Timestamp as __Timestamp,
+  deepEqual as __deepEqual,
+  type AlgebraicType as __AlgebraicTypeType,
+  type AlgebraicTypeVariants as __AlgebraicTypeVariants,
+} from '../index';
+
+export type System = { tag: 'System' };
+export type User = { tag: 'User' };