// This file is automatically generated by DemeterJ.

UniversalVisitor {
  start {{ }}
  before { 
    Main, -> Main,e,Exp,
    Exp,
    LetRec, -> LetRec,bind,Arg, -> LetRec,e,Exp, -> LetRec,body,Exp,
    Lambda, -> Lambda,formal,Arg, -> Lambda,body,Exp,
    Var,
    Sym, -> Sym,name,Ident,
    Addr, -> Addr,offset,Integer,
    Arg, -> Arg,type,Type, -> Arg,sym,Sym,
    Num, -> Num,value,Integer,
    Bool,
    True,
    False,
    If, -> If,cond,Exp, -> If,then,Exp, -> If,otherwise,Exp,
    Call, -> Call,proc,Exp, -> Call,args,ExpList,
    Op,
    Plus,
    Minus,
    Div,
    Mult,
    Less,
    Greater,
    Or,
    And,
    Eq,
    Print, -> Print,type,Type,
    Type,
    BoolT,
    NumT,
    FuncT, -> FuncT,args,TypeList, -> FuncT,ret,Type,
    SymList,
    SymCons, -> SymCons,first,Sym, -> SymCons,rest,SymList,
    SymEmpty,
    ArgList,
    ArgCons, -> ArgCons,first,Arg, -> ArgCons,rest,ArgList,
    ArgEmpty,
    ExpList,
    ExpCons, -> ExpCons,first,Exp, -> ExpCons,rest,ExpList,
    ExpEmpty,
    TypeList,
    TypeCons, -> TypeCons,first,Type, -> TypeCons,rest,TypeList,
    TypeEmpty,
    Val,
    LambdaVal, -> LambdaVal,proc,Lambda, -> LambdaVal,env,ValList,
    NumVal, -> NumVal,value,int,
    ValList,
    ValCons, -> ValCons,first,Val, -> ValCons,rest,ValList,
    ValEmpty,
    TEnv,
    TEnvCons, -> TEnvCons,sym,Sym, -> TEnvCons,type,Type, -> TEnvCons,rest,TEnv,
    TEnvEmpty,
    ConsList,
    EmptyList,
    RE,
    TE
  } {{ }}
  after { 
    Main, -> Main,e,Exp,
    Exp,
    LetRec, -> LetRec,bind,Arg, -> LetRec,e,Exp, -> LetRec,body,Exp,
    Lambda, -> Lambda,formal,Arg, -> Lambda,body,Exp,
    Var,
    Sym, -> Sym,name,Ident,
    Addr, -> Addr,offset,Integer,
    Arg, -> Arg,type,Type, -> Arg,sym,Sym,
    Num, -> Num,value,Integer,
    Bool,
    True,
    False,
    If, -> If,cond,Exp, -> If,then,Exp, -> If,otherwise,Exp,
    Call, -> Call,proc,Exp, -> Call,args,ExpList,
    Op,
    Plus,
    Minus,
    Div,
    Mult,
    Less,
    Greater,
    Or,
    And,
    Eq,
    Print, -> Print,type,Type,
    Type,
    BoolT,
    NumT,
    FuncT, -> FuncT,args,TypeList, -> FuncT,ret,Type,
    SymList,
    SymCons, -> SymCons,first,Sym, -> SymCons,rest,SymList,
    SymEmpty,
    ArgList,
    ArgCons, -> ArgCons,first,Arg, -> ArgCons,rest,ArgList,
    ArgEmpty,
    ExpList,
    ExpCons, -> ExpCons,first,Exp, -> ExpCons,rest,ExpList,
    ExpEmpty,
    TypeList,
    TypeCons, -> TypeCons,first,Type, -> TypeCons,rest,TypeList,
    TypeEmpty,
    Val,
    LambdaVal, -> LambdaVal,proc,Lambda, -> LambdaVal,env,ValList,
    NumVal, -> NumVal,value,int,
    ValList,
    ValCons, -> ValCons,first,Val, -> ValCons,rest,ValList,
    ValEmpty,
    TEnv,
    TEnvCons, -> TEnvCons,sym,Sym, -> TEnvCons,type,Type, -> TEnvCons,rest,TEnv,
    TEnvEmpty,
    ConsList,
    EmptyList,
    RE,
    TE
  } {{ }}
  finish {{ }}
}