def salt_len
import bend-collections-laws-crypto@1.0.0.0/src/crypto/password.bend as Passwordimport Base
101def salt_len(+params: Params) -> Nat:
102 match params:
103 case Params{m, t, p, tag, s}:
104 s
import bend-collections-laws-crypto@1.0.0.0/src/crypto/password.bend as Passwordimport Base
101def salt_len(+params: Params) -> Nat:
102 match params:
103 case Params{m, t, p, tag, s}:
104 s