Function vstd::std_specs::result::as_ref

source · 
pub exec fn as_ref<T, E>(result: &Result<T, E>) -> r : Result<&T, &E>
Expand description
ensures
r.is_Ok() <==> result.is_Ok(),
r.is_Ok() ==> result.get_Ok_0() == r.get_Ok_0(),
r.is_Err() <==> result.is_Err(),
r.is_Err() ==> result.get_Err_0() == r.get_Err_0(),