{
  "schema": "ailang/v0",
  "name": "test_mono_ctor_listmod",
  "imports": [],
  "defs": [
    {
      "kind": "type",
      "name": "List",
      "vars": ["a"],
      "doc": "Minimal polymorphic list for the mono-pass cross-module ctor-pattern bug fixture.",
      "ctors": [
        { "name": "Nil", "fields": [] },
        {
          "name": "Cons",
          "fields": [
            { "k": "var", "name": "a" },
            { "k": "con", "name": "List", "args": [{ "k": "var", "name": "a" }] }
          ]
        }
      ]
    }
  ]
}
