3403e4ac6af4a73b926f2fff3deabeed59700d8b 686 B

1234567891011121314151617181920212223242526272829303132333435363738394041424344
  1. compilation_unit {
  2. package_statement {
  3. package_name: "ExplorerTest"
  4. }
  5. is_api: true
  6. declarations {
  7. variable {
  8. binding {
  9. name: "a"
  10. type {
  11. auto_pattern {
  12. }
  13. }
  14. }
  15. }
  16. }
  17. declarations {
  18. function {
  19. name {
  20. name: "Main"
  21. }
  22. param_pattern {
  23. }
  24. return_term {
  25. kind: Expression
  26. type {
  27. int_type_literal {
  28. }
  29. }
  30. }
  31. body {
  32. statements {
  33. return_expression_statement {
  34. expression {
  35. int_literal {
  36. value: 0
  37. }
  38. }
  39. }
  40. }
  41. }
  42. }
  43. }
  44. }