pub fn hash_function_ty() -> Expr
HashFunction : (List Nat) → (List Nat) — a hash function mapping messages to digests.
HashFunction : (List Nat) → (List Nat)