def cast5.ty.of

bend-osdev-legacy-ciphers@0.1.0.0 · cast5.bend:455

import Base

455def cast5.ty.of(m: Nat) -> LcCastTy:
456  match m:
457    case 0n:
458      LcCastF1{}
459    case 1n:
460      LcCastF2{}
461    case _:
462      LcCastF3{}