5e3b2219c7b0a5e971058249c4531d2069e951e9 538 B

12345678910111213141516171819202122232425262728293031323334353637
  1. compilation_unit {
  2. package_statement {
  3. package_name: "ExplorerTest"
  4. }
  5. is_api: true
  6. declarations {
  7. impl {
  8. kind: ExternalImpl
  9. impl_type {
  10. int_type_literal {
  11. }
  12. }
  13. interface {
  14. int_type_literal {
  15. }
  16. }
  17. }
  18. }
  19. declarations {
  20. function {
  21. name {
  22. name: "Main"
  23. }
  24. param_pattern {
  25. }
  26. return_term {
  27. kind: Expression
  28. type {
  29. int_type_literal {
  30. }
  31. }
  32. }
  33. body {
  34. }
  35. }
  36. }
  37. }