def AcpiSdt.header

import bend-osdev-acpi@0.1.1.0/header.bend as Header

import Base

231def AcpiSdt.header(t: AcpiSdt) -> AcpiHeader:
232  match t:
233    case AcpiSdt{h, b}:
234      h

Uses (2)