1d36375d17078164cf9329dbe7f4b539b5323f34 928 B

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