def pk.lead

bend-osdev-acpi@0.1.1.0 · aml_pkglength.bend:102

import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E

102def pk.lead(l7: Bool, l6: Bool, l0: Bool, l1: Bool, l2: Bool, l3: Bool, l4: Bool, l5: Bool, t: List<&2, U32>) -> Result<&2, &2, E.AcpiError, AmlPkgL>:
103  match l7:
104    case False{}:
105      match l6:
106        case False{}:
107          Done{AmlPkgL{U32{WCon{l0, WCon{l1, WCon{l2, WCon{l3, WCon{l4, WCon{l5, Word.zero(26n)}}}}}}}, 1n, t}}
108        case True{}:
109          pk.multi(l4, l5, 1n, l0, l1, l2, l3, t)
110    case True{}:
111      match l6:
112        case False{}:
113          pk.multi(l4, l5, 2n, l0, l1, l2, l3, t)
114        case True{}:
115          pk.multi(l4, l5, 3n, l0, l1, l2, l3, t)