874473ca5ab1dae91e7c4a71db943c174f1c39cd 1.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172
  1. compilation_unit {
  2. package_statement {
  3. package_name: "ExplorerTest"
  4. }
  5. is_api: true
  6. declarations {
  7. choice {
  8. name {
  9. name: "C"
  10. }
  11. alternatives {
  12. name: "X"
  13. signature {
  14. }
  15. }
  16. alternatives {
  17. name: "Y"
  18. signature {
  19. fields {
  20. if_expression {
  21. condition {
  22. simple_member_access {
  23. field: "X"
  24. object {
  25. identifier {
  26. name: "C"
  27. }
  28. }
  29. }
  30. }
  31. then_expression {
  32. int_type_literal {
  33. }
  34. }
  35. else_expression {
  36. int_type_literal {
  37. }
  38. }
  39. }
  40. }
  41. }
  42. }
  43. }
  44. }
  45. declarations {
  46. function {
  47. name {
  48. name: "Main"
  49. }
  50. param_pattern {
  51. }
  52. return_term {
  53. kind: Expression
  54. type {
  55. int_type_literal {
  56. }
  57. }
  58. }
  59. body {
  60. statements {
  61. return_expression_statement {
  62. expression {
  63. int_literal {
  64. value: 0
  65. }
  66. }
  67. }
  68. }
  69. }
  70. }
  71. }
  72. }