1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25
{ "kind": "Limit", "value": { "direction": { "kind": "Both" }, "expr": { "kind": "Function", "value": { "args": [ { "kind": "Variable", "value": "x" } ], "name": "f" } }, "to": { "kind": "Integer", "value": 0 }, "var": "x" } }