26c2d5cf1d3f39a1f0fc16691f770713002312a0 1.2 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879
  1. compilation_unit {
  2. package_statement {
  3. package_name: "ExplorerTest"
  4. }
  5. is_api: true
  6. declarations {
  7. interface {
  8. name {
  9. name: "A"
  10. }
  11. }
  12. }
  13. declarations {
  14. interface {
  15. name {
  16. name: "B"
  17. }
  18. }
  19. }
  20. declarations {
  21. impl {
  22. kind: ExternalImpl
  23. impl_type {
  24. int_type_literal {
  25. }
  26. }
  27. interface {
  28. where {
  29. base {
  30. identifier {
  31. name: "A"
  32. }
  33. }
  34. clauses {
  35. impls {
  36. type {
  37. int_type_literal {
  38. }
  39. }
  40. constraint {
  41. identifier {
  42. name: "B"
  43. }
  44. }
  45. }
  46. }
  47. }
  48. }
  49. }
  50. }
  51. declarations {
  52. function {
  53. name {
  54. name: "Main"
  55. }
  56. param_pattern {
  57. }
  58. return_term {
  59. kind: Expression
  60. type {
  61. int_type_literal {
  62. }
  63. }
  64. }
  65. body {
  66. statements {
  67. return_expression_statement {
  68. expression {
  69. int_literal {
  70. value: 0
  71. }
  72. }
  73. }
  74. }
  75. }
  76. }
  77. }
  78. }