AmlName.nm.text.ups: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/aml_name.bend as AmlName
Lines 403-413 of bend-osdev-acpi@0.1.1.0/aml_name.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/aml_name.bend&start_line=403&end_line=413

import Base

# leading carets, counted; isc: s starts with one
def nm.text.ups(s: String, isc: Bool, n: Nat) -> AmlName:
  match s:
    case SNil{}:
      AmlName{False{}, n, Nil{}}
    case SCon{h, +t}:
      match isc:
        case True{}:
          nm.text.ups(t, String.starts_with(t, "^"), 1n+n)
        case False{}:
          AmlName{False{}, n, nm.text.split(SCon{h, t})}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.starts_with
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_name.bend&name=AmlName
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_name.bend&name=nm.text.split