Function to_opaque_error_result 

pub fn to_opaque_error_result<T: DafnyType>(
    value: String,
) -> Rc<Result<T, Rc<Error>>>

Wraps up an arbitrary Rust Error value as a Dafny Result<T, Error>.Failure