81b32b8dcef96d836fd3eb769d58f3bfefa593fa 1.1 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465
  1. compilation_unit {
  2. package_statement {
  3. package_name: "ExplorerTest"
  4. }
  5. is_api: true
  6. declarations {
  7. function {
  8. name: "F"
  9. param_pattern {
  10. }
  11. return_term {
  12. kind: Omitted
  13. }
  14. body {
  15. statements {
  16. return_statement {
  17. is_omitted_expression: true
  18. }
  19. }
  20. }
  21. }
  22. }
  23. declarations {
  24. function {
  25. name: "Main"
  26. param_pattern {
  27. }
  28. return_term {
  29. kind: Expression
  30. type {
  31. int_type_literal {
  32. }
  33. }
  34. }
  35. body {
  36. statements {
  37. expression_statement {
  38. expression {
  39. call {
  40. function {
  41. identifier {
  42. name: "F"
  43. }
  44. }
  45. argument {
  46. tuple_literal {
  47. }
  48. }
  49. }
  50. }
  51. }
  52. }
  53. statements {
  54. return_statement {
  55. expression {
  56. int_literal {
  57. value: 0
  58. }
  59. }
  60. }
  61. }
  62. }
  63. }
  64. }
  65. }