OperationError

exception proveit.OperationError(message)[source]