Gas.AcpiGas.space: def of bend-osdev-acpi@0.1.1.0 Import: import bend-osdev-acpi@0.1.1.0/gas.bend as Gas Lines 56-59 of bend-osdev-acpi@0.1.1.0/gas.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/gas.bend&start_line=56&end_line=59 import Base def AcpiGas.space(g: AcpiGas) -> U32: match g: case AcpiGas{s, w, off, a, addr}: s Uses (2): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/gas.bend&name=AcpiGas