Sha256

hax_rust_engine::names::hax_lib_protocol::crypto::HashAlgorithm

Function Sha256 

Source 
pub fn Sha256() -> DefId
Expand description

This is the variant [::hax_lib_protocol::crypto::HashAlgorithm::Sha256].