Module agnes::test_utils::dept_table

Type aliases defining what is contained within table $tbl_name.

Structs

DeptId	Unit struct representing the field $label.
DeptName	Unit struct representing the field $label.

Type Definitions

DataStore	Extra type alias for Store.
DataView	Extra type alias for View.
Fields	FieldCons cons-list of fields in this table.
Store	Type alias for a DataStore composed of the fields referenced in this table definition.
Table	Type-level backing natural number for this table. This type connects all tables within a tablespace together.
View	Type alias for a DataView composed of the fields referenced in this table definition.