def absurd.maybe

bend-osdev-algo@0.1.0.0 · PROOF.bend:43

import Base

43def absurd.maybe(m: Maybe<&2, Nat>) -> Type:
44  match m:
45    case None{}:
46      Empty
47    case Some{k}:
48      Unit