#x:type-name * #.name ;
