def AcpiShow.bgrt
import bend-osdev-acpi@0.1.1.0/show.bend as Showimport Base
import bend-osdev-acpi@0.1.1.0/bgrt.bend as Bg
258def AcpiShow.bgrt(t: Bg.AcpiBgrt) -> String:
259 match t:
260 case Bg.AcpiBgrt{h, v, st, it, a, x, y}:
261 "BGRT " ++ sh.u(v) ++ " " ++ sh.u(st) ++ " " ++ sh.u(it) ++ " " ++ sh.w(a) ++ " " ++ sh.u(x) ++ " " ++ sh.u(y)