Constant hacl_sys::EverCrypt_Error_Success

source · 
pub const EverCrypt_Error_Success: u32 = 0;