def tb.facs_bits
bend-osdev-acpi@0.1.1.0 · PROOF_tables.bend:61
import bend-osdev-acpi@0.1.1.0/PROOF_tables.bend as PROOFTables
import Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
import bend-osdev-bytes@0.1.1.0/bytes.bend as B
import bend-osdev-acpi@0.1.1.0/error.bend as E
import bend-osdev-acpi@0.1.1.0/facs.bend as Fa
61def tb.facs_bits(+l: U32, +hs: U32, +wv: U32, +gl: U32, +fl: U32, +ah: U32, +al: U32, +v: U32, +of: U32) -> {Fa.AcpiFacs.parse(Fa.AcpiFacs.build(Fa.AcpiFacs{l, hs, wv, gl, fl, W.W64.from_parts(ah, al), v, of})) == Done{Fa.AcpiFacs{64, hs, wv, gl, fl, W.W64.from_parts(ah, al), B.byte(v), of}} : Result<&2, &2, E.AcpiError, Fa.AcpiFacs>}:
62 match hs wv gl fl ah al of:
63 case U32{WCon{a0, WCon{a1, WCon{a2, WCon{a3, WCon{a4, WCon{a5, WCon{a6, WCon{a7, WCon{a8, WCon{a9, WCon{a10, WCon{a11, WCon{a12, WCon{a13, WCon{a14, WCon{a15, WCon{a16, WCon{a17, WCon{a18, WCon{a19, WCon{a20, WCon{a21, WCon{a22, WCon{a23, WCon{a24, WCon{a25, WCon{a26, WCon{a27, WCon{a28, WCon{a29, WCon{a30, WCon{a31, WNil{}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} U32{WCon{b0, WCon{b1, WCon{b2, WCon{b3, WCon{b4, WCon{b5, WCon{b6, WCon{b7, WCon{b8, WCon{b9, WCon{b10, WCon{b11, WCon{b12, WCon{b13, WCon{b14, WCon{b15, WCon{b16, WCon{b17, WCon{b18, WCon{b19, WCon{b20, WCon{b21, WCon{b22, WCon{b23, WCon{b24, WCon{b25, WCon{b26, WCon{b27, WCon{b28, WCon{b29, WCon{b30, WCon{b31, WNil{}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} U32{WCon{c0, WCon{c1, WCon{c2, WCon{c3, WCon{c4, WCon{c5, WCon{c6, WCon{c7, WCon{c8, WCon{c9, WCon{c10, WCon{c11, WCon{c12, WCon{c13, WCon{c14, WCon{c15, WCon{c16, WCon{c17, WCon{c18, WCon{c19, WCon{c20, WCon{c21, WCon{c22, WCon{c23, WCon{c24, WCon{c25, WCon{c26, WCon{c27, WCon{c28, WCon{c29, WCon{c30, WCon{c31, WNil{}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} U32{WCon{d0, WCon{d1, WCon{d2, WCon{d3, WCon{d4, WCon{d5, WCon{d6, WCon{d7, WCon{d8, WCon{d9, WCon{d10, WCon{d11, WCon{d12, WCon{d13, WCon{d14, WCon{d15, WCon{d16, WCon{d17, WCon{d18, WCon{d19, WCon{d20, WCon{d21, WCon{d22, WCon{d23, WCon{d24, WCon{d25, WCon{d26, WCon{d27, WCon{d28, WCon{d29, WCon{d30, WCon{d31, WNil{}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} U32{WCon{e0, WCon{e1, WCon{e2, WCon{e3, WCon{e4, WCon{e5, WCon{e6, WCon{e7, WCon{e8, WCon{e9, WCon{e10, WCon{e11, WCon{e12, WCon{e13, WCon{e14, WCon{e15, WCon{e16, WCon{e17, WCon{e18, WCon{e19, WCon{e20, WCon{e21, WCon{e22, WCon{e23, WCon{e24, WCon{e25, WCon{e26, WCon{e27, WCon{e28, WCon{e29, WCon{e30, WCon{e31, WNil{}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} U32{WCon{f0, WCon{f1, WCon{f2, WCon{f3, WCon{f4, WCon{f5, WCon{f6, WCon{f7, WCon{f8, WCon{f9, WCon{f10, WCon{f11, WCon{f12, WCon{f13, WCon{f14, WCon{f15, WCon{f16, WCon{f17, WCon{f18, WCon{f19, WCon{f20, WCon{f21, WCon{f22, WCon{f23, WCon{f24, WCon{f25, WCon{f26, WCon{f27, WCon{f28, WCon{f29, WCon{f30, WCon{f31, WNil{}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} U32{WCon{g0, WCon{g1, WCon{g2, WCon{g3, WCon{g4, WCon{g5, WCon{g6, WCon{g7, WCon{g8, WCon{g9, WCon{g10, WCon{g11, WCon{g12, WCon{g13, WCon{g14, WCon{g15, WCon{g16, WCon{g17, WCon{g18, WCon{g19, WCon{g20, WCon{g21, WCon{g22, WCon{g23, WCon{g24, WCon{g25, WCon{g26, WCon{g27, WCon{g28, WCon{g29, WCon{g30, WCon{g31, WNil{}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}:
64 {==}