 
 // MARK: - Implementation Details
 
-internal enum Result {
+internal enum QuickCheckResult {
 	case success(
 		numTests  : Int,
 		labels    : [(String, Int)],

	return (st.successfulShrinkCount, st.failedShrinkStepCount - st.failedShrinkStepDistance, st.failedShrinkStepDistance)
}

private func reportExistentialFailure(_ st : CheckerState, res : Result) -> Result {
	switch res {
	case let .existentialFailure(_, _, _, reason, _, _, lastTest):
		let testMsg = " (after \(st.discardedTestCount) test"

	}
}

private func doneTesting(_ st : CheckerState) -> QuickCheckResult {
	if !st.hasFulfilledExpectedFailure {
		if insufficientCoverage(st) {
			printCond(st.silence, "+++ OK, failed as expected. ")
