df3c512238132d3e0131469f7e1026499b241ee0 782 B

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