type &Name is table of &&;