1e43eb0a0f7b622f2ee5153aadeba3c2716c3b0a 1.7 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798
  1. compilation_unit {
  2. package_statement {
  3. package_name: "ExplorerTest"
  4. }
  5. is_api: true
  6. declarations {
  7. interface {
  8. name {
  9. name: "Vector"
  10. }
  11. members {
  12. function {
  13. name {
  14. name: "Zero"
  15. }
  16. param_pattern {
  17. }
  18. return_term {
  19. kind: Expression
  20. type {
  21. int_type_literal {
  22. }
  23. }
  24. }
  25. }
  26. }
  27. }
  28. }
  29. declarations {
  30. impl {
  31. kind: InternalImpl
  32. impl_type {
  33. string_literal {
  34. value: "hello"
  35. }
  36. }
  37. interface {
  38. identifier {
  39. name: "Vector"
  40. }
  41. }
  42. members {
  43. function {
  44. name {
  45. name: "Zero"
  46. }
  47. param_pattern {
  48. }
  49. return_term {
  50. kind: Expression
  51. type {
  52. int_type_literal {
  53. }
  54. }
  55. }
  56. body {
  57. statements {
  58. return_expression_statement {
  59. expression {
  60. int_literal {
  61. value: 0
  62. }
  63. }
  64. }
  65. }
  66. }
  67. }
  68. }
  69. }
  70. }
  71. declarations {
  72. function {
  73. name {
  74. name: "Main"
  75. }
  76. param_pattern {
  77. }
  78. return_term {
  79. kind: Expression
  80. type {
  81. int_type_literal {
  82. }
  83. }
  84. }
  85. body {
  86. statements {
  87. return_expression_statement {
  88. expression {
  89. int_literal {
  90. value: 0
  91. }
  92. }
  93. }
  94. }
  95. }
  96. }
  97. }
  98. }