~/jendhub

def rs.absurd

bend-osdev-cipher-modes@0.1.0.0 · PROOF.bend:1736

import bend-osdev-cipher-modes@0.1.0.0/PROOF.bend as PROOF
import Base
import bend-osdev-cipher-modes@0.1.0.0/cipher_modes.bend as M

1736def rs.absurd(-A: Type, +e: M.CmError, +u: Unit, h: {Fail{e} == Done{u} : Result<&2, &2, M.CmError, Unit>}) -> A:
1737  Empty.absurd(A, rs.empty(e, u, h))

Uses (5)

Used by (1)