Example.ex.lens: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/example.bend as Example
Lines 190-191 of bend-osdev-acpi@0.1.1.0/example.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/example.bend&start_line=190&end_line=191

import Base
import bend-osdev-acpi@0.1.1.0/fadt.bend as F

def ex.lens() -> F.AcpiFadtLens:
  F.AcpiFadtLens{4, 2, 1, 4, 16, 0, 0}

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/fadt.bend&name=AcpiFadtLens