public string Print(VariableNode vnode) { return("" + vnode.t); }
public type GetType(VariableNode vnode, Environment env) { string name = vnode.t; return(env.GetType(name)); }