Type Definition agnes::test_utils::full_emp_table::Table

type Table = Add1<Add1<U0>>;

Type-level backing natural number for this table. This type connects all tables within a tablespace together.