def rdisc

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

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

2333def rdisc(-A: Data, +r: Result<&2, &2, E.AcpiError, A>) -> Type:
2334  match r:
2335    case Fail{x}:
2336      Unit
2337    case Done{x}:
2338      Empty