SEEC-Playground-service-renderer/public/lambda-data/succ_zero.json

{
  "result": {
    "index": -1,
    "param": {
      "index": -1,
      "id": -1,
      "name": "f"
    },
    "body": {
      "index": -1,
      "param": {
        "index": -1,
        "id": -1,
        "name": "x"
      },
      "body": {
        "left": {
          "index": -1,
          "id": 1,
          "name": "f"
        },
        "right": {
          "index": -1,
          "id": 0,
          "name": "x"
        },
        "index": -1
      }
    }
  },
  "steps": [
    {
      "left": {
        "index": 0,
        "param": {
          "index": 1,
          "id": -1,
          "name": "n"
        },
        "body": {
          "index": 3,
          "param": {
            "index": 4,
            "id": -1,
            "name": "f"
          },
          "body": {
            "index": 6,
            "param": {
              "index": 7,
              "id": -1,
              "name": "x"
            },
            "body": {
              "left": {
                "index": 9,
                "id": 1,
                "name": "f"
              },
              "right": {
                "left": {
                  "left": {
                    "index": 12,
                    "id": 2,
                    "name": "n"
                  },
                  "right": {
                    "index": 14,
                    "id": 1,
                    "name": "f"
                  },
                  "index": 12
                },
                "right": {
                  "index": 16,
                  "id": 0,
                  "name": "x"
                },
                "index": 12
              },
              "index": 9
            }
          }
        }
      },
      "right": {
        "index": 0,
        "param": {
          "index": 1,
          "id": -1,
          "name": "f"
        },
        "body": {
          "index": 3,
          "param": {
            "index": 4,
            "id": -1,
            "name": "x"
          },
          "body": {
            "index": 6,
            "id": 0,
            "name": "x"
          }
        }
      },
      "index": 0
    },
    {
      "index": 3,
      "param": {
        "index": 4,
        "id": -1,
        "name": "f"
      },
      "body": {
        "index": 6,
        "param": {
          "index": 7,
          "id": -1,
          "name": "x"
        },
        "body": {
          "left": {
            "index": 9,
            "id": 1,
            "name": "f"
          },
          "right": {
            "left": {
              "left": {
                "index": 0,
                "param": {
                  "index": 1,
                  "id": -1,
                  "name": "f"
                },
                "body": {
                  "index": 3,
                  "param": {
                    "index": 4,
                    "id": -1,
                    "name": "x"
                  },
                  "body": {
                    "index": 6,
                    "id": 0,
                    "name": "x"
                  }
                }
              },
              "right": {
                "index": 14,
                "id": 1,
                "name": "f"
              },
              "index": 0
            },
            "right": {
              "index": 16,
              "id": 0,
              "name": "x"
            },
            "index": 0
          },
          "index": 9
        }
      }
    },
    {
      "index": 3,
      "param": {
        "index": 4,
        "id": -1,
        "name": "x"
      },
      "body": {
        "index": 6,
        "id": 0,
        "name": "x"
      }
    },
    {
      "index": 16,
      "id": 0,
      "name": "x"
    }
  ]
}