{
  "content": "  ```json\n{\n  \"schema\": \"ailang/v0\",\n  \"name\": \"t3_main_prints\",\n  \"imports\": [],\n  \"defs\": [\n    {\n      \"kind\": \"fn\",\n      \"name\": \"main\",\n      \"doc\": \"Print two Ints in sequence. Exercises TermDo, TermSeq, and the IO effect on a fn type. The trailing unit return is implicit in the last Do (op returns Unit).\",\n      \"type\": {\n        \"k\": \"fn\",\n        \"params\": [],\n        \"ret\": { \"k\": \"con\", \"name\": \"Unit\" },\n        \"effects\": [\"IO\"]\n      },\n      \"params\": [],\n      \"body\": {\n        \"t\": \"seq\",\n        \"lhs\": {\n          \"t\": \"do\",\n          \"op\": \"io/print_int\",\n          \"args\": [ { \"t\": \"lit\", \"lit\": { \"kind\": \"int\", \"value\": 42 } } ]\n        },\n        \"rhs\": {\n          \"t\": \"do\",\n          \"op\": \"io/print_int\",\n          \"args\": [ { \"t\": \"lit\", \"lit\": { \"kind\": \"int\", \"value\": 1337 } } ]\n        }\n      }\n    }\n  ]\n}\n```",
  "usage": {
    "completion_tokens": 323,
    "prompt_tokens": 10830,
    "total_tokens": 11153
  }
}