to_dafny_error

Function to_dafny_error 

Source
pub fn to_dafny_error(value: &SdkError<VerifyError, HttpResponse>) -> Rc<Error>