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(),