Module spacetimedb_lib::type_def
source · Structs§
- A structural product type of the factors given by
elements
. - A factor / element of a product type.
- A structural sum type.
Enums§
- The SpacetimeDB Algebraic Type System (SATS) is a structural type system in which a nominal type system can be constructed.