Type Definition agnes::test_utils::dept_table::Table

type Table = Add1<Add1<Add1<U0>>>;

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