Skip to main content

hash_function_ty

oxilean_std::cryptography::functions

Function hash_function_ty 

Source 
pub fn hash_function_ty() -> Expr
Expand description

HashFunction : (List Nat) → (List Nat) — a hash function mapping messages to digests.