def absurd.res

bend-osdev-bpf@0.1.0.0 · PROOF.bend:23

import Base
import bend-osdev-bpf@0.1.0.0/insn.bend as I

23def absurd.res(r: Result<&2, &2, I.BpfError, Unit>) -> Type:
24  match r:
25    case Fail{e}:
26      Unit
27    case Done{u}:
28      Empty