def visitProgram(self, ctx: MPParser.ProgramContext): return self.visit(ctx.mptype())
def visitProgram(self, ctx: MPParser.ProgramContext): return Program([ FuncDecl(Id("main"), [], self.visit(ctx.mptype()), Block([], [self.visit(ctx.body())] if ctx.body() else [])) ])