def fd_absurd

bend-osdev-acpi@0.1.1.0 · PROOF.bend:2340

import Base
import bend-osdev-acpi@0.1.1.0/error.bend as E

2340def fd_absurd(-A: Data, -x: E.AcpiError, -y: A, +e: {Fail{x} == Done{y} : Result<&2, &2, E.AcpiError, A>}) -> Empty:
2341  %e : rdisc(A, _)
2342  Unit{}