☆ Varid[E]: Var (Var id) array Type type(e)? IndexType 返回E| emType ☆ Var id.id: Var(Var id) recordType? id是否在域名表中? 返回 id. typePtr Varid↑ Var(Var id) fileT?返回 Comp Type pointY?返回 TypeName. Typeptr❖ Varid[E]: Var(Varid); arrayType ? type(E)? IndexType 返回ElemType. ❖ Varid.id: Var(Varid); recordType? id是否在域名表中? 返回id.typePtr ❖ Varid : Var(Varid); fileTy? 返回CompType pointTy? 返回TypeName.TypePtr