Test.LeanCheck.Error
holds
fails
exists
counterExample
counterExamples
witness
witnesses
results
fromError
errorToNothing
errorToFalse
errorToTrue
anyErrorToNothing