Module spacetimedb_lib::type_value

Structs

• ProductValue
  A product value is made of a list of “elements” / “fields” / “factors” of other AlgebraicValues.

Enums

• AlgebraicValue
  A value in SATS typed at some AlgebraicType.