ModifiedFailure is used in situations where a precondition is composite and we need to modify the value to be the original left one.
Generated using TypeDoc
ModifiedFailure is used in situations where a precondition is composite and we need to modify the value to be the original left one.