AmlInterp.in.kinds: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/aml_interp.bend as AmlInterp
Lines 1742-1861 of bend-osdev-acpi@0.1.1.0/aml_interp.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/aml_interp.bend&start_line=1742&end_line=1861

import Base

def in.kinds(+op: Nat) -> Maybe<&2, List<&2, AmlArgK>>:
  match op:
    case 6n:
      Some{[in.kG(), in.kN()]}
    case 8n:
      Some{[in.kN(), in.kT()]}
    case 21n:
      Some{[in.kN(), in.kY(), in.kY()]}
    case 112n:
      Some{in.t.g()}
    case 113n:
      Some{[in.kG()]}
    case 114n:
      Some{in.tt.g()}
    case 115n:
      Some{in.tt.g()}
    case 116n:
      Some{in.tt.g()}
    case 117n:
      Some{[in.kG()]}
    case 118n:
      Some{[in.kG()]}
    case 119n:
      Some{in.tt.g()}
    case 120n:
      Some{[in.kT(), in.kT(), in.kG(), in.kG()]}
    case 121n:
      Some{in.tt.g()}
    case 122n:
      Some{in.tt.g()}
    case 123n:
      Some{in.tt.g()}
    case 124n:
      Some{in.tt.g()}
    case 125n:
      Some{in.tt.g()}
    case 126n:
      Some{in.tt.g()}
    case 127n:
      Some{in.tt.g()}
    case 128n:
      Some{in.t.g()}
    case 129n:
      Some{in.t.g()}
    case 130n:
      Some{in.t.g()}
    case 131n:
      Some{[in.kT()]}
    case 133n:
      Some{in.tt.g()}
    case 134n:
      Some{[in.kG(), in.kT()]}
    case 135n:
      Some{[in.kS()]}
    case 136n:
      Some{[in.kS(), in.kT(), in.kG()]}
    case 138n:
      Some{[in.kS(), in.kT(), in.kN()]}
    case 139n:
      Some{[in.kS(), in.kT(), in.kN()]}
    case 140n:
      Some{[in.kS(), in.kT(), in.kN()]}
    case 141n:
      Some{[in.kS(), in.kT(), in.kN()]}
    case 142n:
      Some{[in.kS()]}
    case 143n:
      Some{[in.kS(), in.kT(), in.kN()]}
    case 144n:
      Some{[in.kT(), in.kT()]}
    case 145n:
      Some{[in.kT(), in.kT()]}
    case 146n:
      Some{[in.kT()]}
    case 147n:
      Some{[in.kT(), in.kT()]}
    case 148n:
      Some{[in.kT(), in.kT()]}
    case 149n:
      Some{[in.kT(), in.kT()]}
    case 150n:
      Some{in.t.g()}
    case 153n:
      Some{in.t.g()}
    case 157n:
      Some{in.t.g()}
    case 164n:
      Some{[in.kT()]}
    case 257n:
      Some{[in.kN(), in.kY()]}
    case 258n:
      Some{[in.kN()]}
    case 274n:
      Some{[AmlKCond{}, in.kG()]}
    case 275n:
      Some{[in.kS(), in.kT(), in.kT(), in.kN()]}
    case 289n:
      Some{[in.kT()]}
    case 290n:
      Some{[in.kT()]}
    case 291n:
      Some{[in.kG(), AmlKWord{}]}
    case 292n:
      Some{[in.kG()]}
    case 293n:
      Some{[in.kG(), in.kT()]}
    case 294n:
      Some{[in.kG()]}
    case 295n:
      Some{[in.kG()]}
    case 304n:
      Some{Nil{}}
    case 306n:
      Some{[in.kY(), AmlKDWord{}, in.kT()]}
    case 307n:
      Some{Nil{}}
    case 384n:
      Some{[in.kN(), in.kY(), in.kT(), in.kT()]}
    case _:
      None{}

Uses (11):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_interp.bend&name=AmlArgK
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_interp.bend&name=in.kG
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_interp.bend&name=in.kN
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_interp.bend&name=in.kS
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_interp.bend&name=in.kT
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_interp.bend&name=in.kY
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_interp.bend&name=in.t.g
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_interp.bend&name=in.tt.g