type HsError

bend-osdev-hashes@0.1.0.0 · hashes.bend:25

import Base

25# The package's errors: a key of a length the algorithm does not take
26type HsError is Data:
27  HsBadKeyLength{got: Nat}