def visitConcreteType(self, ctx:AHParser.ConcreteTypeContext): te = TypeExpr(self.visit(ctx.qualifiedName())) te.args = list(map(self.visit, ctx.typeArg())) return te
def visitArrowTypeExpr(self, ctx:AHParser.ArrowTypeExprContext): te = TypeExpr(['_→_']) te.args = list(map(self.visit, ctx.typeExpr())) return te