EverCrypt_Error_Success

Constant EverCrypt_Error_Success 

Source
pub const EverCrypt_Error_Success: u32 = 0;