d415acd8c86e6475fe8d0c8a1d5de351a99ea967 541 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. string_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. }