Testable

Statistics

Metric	Count
Definitions `printableProp`, `printableProp`, `Configuration`, `maxSize`, `numInst`, `numRetries`, `quiet`, `randomSeed`, `traceDiscarded`, `traceShrink`, `traceShrinkCandidates`, `traceSuccesses`, `verbose`, `DecorationsOf`, `addDecorations`, `tacticMk_decorations`, `printableProp`, `printableProp`, `printableProp`, `printableProp`, `printableProp`, `printableProp`, `NamedBinder`, `printableProp`, `printableProp`, `printableProp`, `PrintableProp`, `printProp`, `TestResult`, `addInfo`, `addVarInfo`, `and`, `combine`, `iff`, `imp`, `instToString`, `isFailure`, `or`, `toString`, `Testable`, `addShrinks`, `andTestable`, `check`, `checkIO`, `decGuardTestable`, `decidableTestable`, `forallTypesTestable`, `forallTypesULiftTestable`, `formatFailure`, `iffTestable`, `instInhabitedOptionTOfPure`, `minimize`, `minimizeAux`, `orTestable`, `propVarTestable`, `run`, `runProp`, `runPropE`, `runSuite`, `runSuiteAux`, `slimTrace`, `subtypeVarTestable`, `unusedVarTestable`, `varTestable`, `printableProp`, `elabConfig`, `giveUp`, `instInhabitedConfiguration`, `default`, `instInhabitedTestResult`, `default`, `instPrintableProp`, `instToExprConfiguration`, `retry`, `«command#test_»`	75
Theorems	0
Total	75

Plausible

Definitions

Name	Category	Theorems
`Configuration` 📖	CompData	—
`NamedBinder` 📖	MathDef	—
`PrintableProp` 📖	CompData	—
`TestResult` 📖	CompData	—
`Testable` 📖	CompData	—
`elabConfig` 📖	CompOp	—
`giveUp` 📖	CompOp	—
`instInhabitedConfiguration` 📖	CompOp	—
`instInhabitedTestResult` 📖	CompOp	—
`instPrintableProp` 📖	CompOp	—
`instToExprConfiguration` 📖	CompOp	—
`retry` 📖	CompOp	—
`«command#test_»` 📖	CompOp	—

Plausible.And

Definitions

Name	Category	Theorems
`printableProp` 📖	CompOp	—

Plausible.Bool

Definitions

Name	Category	Theorems
`printableProp` 📖	CompOp	—

Plausible.Configuration

Definitions

Name	Category	Theorems
`maxSize` 📖	CompOp	—
`numInst` 📖	CompOp	—
`numRetries` 📖	CompOp	—
`quiet` 📖	CompOp	—
`randomSeed` 📖	CompOp	—
`traceDiscarded` 📖	CompOp	—
`traceShrink` 📖	CompOp	—
`traceShrinkCandidates` 📖	CompOp	—
`traceSuccesses` 📖	CompOp	—
`verbose` 📖	CompOp	—

Plausible.Decorations

Definitions

Name	Category	Theorems
`DecorationsOf` 📖	CompOp	—
`addDecorations` 📖	CompOp	—
`tacticMk_decorations` 📖	CompOp	—

Plausible.Eq

Definitions

Name	Category	Theorems
`printableProp` 📖	CompOp	—

Plausible.False

Definitions

Name	Category	Theorems
`printableProp` 📖	CompOp	—

Plausible.Iff

Definitions

Name	Category	Theorems
`printableProp` 📖	CompOp	—

Plausible.Imp

Definitions

Name	Category	Theorems
`printableProp` 📖	CompOp	—

Plausible.LE

Definitions

Name	Category	Theorems
`printableProp` 📖	CompOp	—

Plausible.LT

Definitions

Name	Category	Theorems
`printableProp` 📖	CompOp	—

Plausible.Ne

Definitions

Name	Category	Theorems
`printableProp` 📖	CompOp	—

Plausible.Not

Definitions

Name	Category	Theorems
`printableProp` 📖	CompOp	—

Plausible.Or

Definitions

Name	Category	Theorems
`printableProp` 📖	CompOp	—

Plausible.PrintableProp

Definitions

Name	Category	Theorems
`printProp` 📖	CompOp	—

Plausible.TestResult

Definitions

Name	Category	Theorems
`addInfo` 📖	CompOp	—
`addVarInfo` 📖	CompOp	—
`and` 📖	CompOp	—
`combine` 📖	CompOp	—
`iff` 📖	CompOp	—
`imp` 📖	CompOp	—
`instToString` 📖	CompOp	—
`isFailure` 📖	CompOp	—
`or` 📖	CompOp	—
`toString` 📖	CompOp	—

Plausible.Testable

Definitions

Name	Category	Theorems
`addShrinks` 📖	CompOp	—
`andTestable` 📖	CompOp	—
`check` 📖	CompOp	—
`checkIO` 📖	CompOp	—
`decGuardTestable` 📖	CompOp	—
`decidableTestable` 📖	CompOp	—
`forallTypesTestable` 📖	CompOp	—
`forallTypesULiftTestable` 📖	CompOp	—
`formatFailure` 📖	CompOp	—
`iffTestable` 📖	CompOp	—
`instInhabitedOptionTOfPure` 📖	CompOp	—
`minimize` 📖	CompOp	—
`minimizeAux` 📖	CompOp	—
`orTestable` 📖	CompOp	—
`propVarTestable` 📖	CompOp	—
`run` 📖	CompOp	—
`runProp` 📖	CompOp	—
`runPropE` 📖	CompOp	—
`runSuite` 📖	CompOp	—
`runSuiteAux` 📖	CompOp	—
`slimTrace` 📖	CompOp	—
`subtypeVarTestable` 📖	CompOp	—
`unusedVarTestable` 📖	CompOp	—
`varTestable` 📖	CompOp	—

Plausible.True

Definitions

Name	Category	Theorems
`printableProp` 📖	CompOp	—

Plausible.instInhabitedConfiguration

Definitions

Name	Category	Theorems
`default` 📖	CompOp	—

Plausible.instInhabitedTestResult

Definitions

Name	Category	Theorems
`default` 📖	CompOp	—

---

← Back to Index