def rs.disc

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

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

1725def rs.disc(r: Result<&2, &2, M.CmError, Unit>) -> Type:
1726  match r:
1727    case Fail{e}:
1728      Unit
1729    case Done{u}:
1730      Empty