public override AstNode ToTS() { var x = new MtApplication(); x._head = _head.ConvertToTS(); x._args = (MtExpressionList)(_args.ConvertToTS()); return(x); }