to_dafny_error

Function to_dafny_error 

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