AmlTerm.AmlT.lless_equal: def of bend-osdev-acpi@0.1.1.0
Import: import bend-osdev-acpi@0.1.1.0/aml_term.bend as AmlTerm
Lines 408-409 of bend-osdev-acpi@0.1.1.0/aml_term.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-acpi@0.1.1.0/aml_term.bend&start_line=408&end_line=409

import Base

def AmlT.lless_equal(a: AmlTerm, b: AmlTerm) -> AmlTerm:
  AmlT.lnot(AmlT.lgreater(a, b))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_term.bend&name=AmlT.lgreater
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_term.bend&name=AmlT.lnot
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-acpi@0.1.1.0/aml_term.bend&name=AmlTerm