law pkglength_round_trip

bend-osdev-acpi@0.1.1.0 · LAWS.bend:37

import Base
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/aml_pkglength.bend as K

37law pkglength_round_trip:
38  for +v: U32
39  for +rest: B.Octets
40  for +fits: {K.AmlPkgLength.fits(v) == True{} : Bool}
41  {K.AmlPkgLength.decode(B.Octets.append(K.AmlPkgLength.encode(v), rest)) == Done{K.AmlPkgLen{v, rest}} : Result<&2, &2, E.AcpiError, K.AmlPkgLen>}