items.js 1.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475
  1. export const zeroAst = {
  2. index: 0,
  3. param: {
  4. index: 1,
  5. id: -1,
  6. name: 'f',
  7. },
  8. body: {
  9. index: 3,
  10. param: {
  11. index: 4,
  12. id: -1,
  13. name: 'x',
  14. },
  15. body: {
  16. index: 6,
  17. id: 0,
  18. name: 'x',
  19. },
  20. },
  21. }
  22. export const succAst = {
  23. index: 0,
  24. param: {
  25. index: 1,
  26. id: -1,
  27. name: 'n',
  28. },
  29. body: {
  30. index: 3,
  31. param: {
  32. index: 4,
  33. id: -1,
  34. name: 'f',
  35. },
  36. body: {
  37. index: 6,
  38. param: {
  39. index: 7,
  40. id: -1,
  41. name: 'x',
  42. },
  43. body: {
  44. left: {
  45. index: 9,
  46. id: 1,
  47. name: 'f',
  48. },
  49. right: {
  50. left: {
  51. left: {
  52. index: 11,
  53. id: 2,
  54. name: 'n',
  55. },
  56. right: {
  57. index: 13,
  58. id: 1,
  59. name: 'f',
  60. },
  61. index: 11,
  62. },
  63. right: {
  64. index: 15,
  65. id: 0,
  66. name: 'x',
  67. },
  68. index: 11,
  69. },
  70. index: 9,
  71. },
  72. },
  73. },
  74. }