///| pub type IndexType = @table.IndexType ///| pub type Index = @table.Index