Test.LeanCheck.Error

holds

fails

exists

counterExample

counterExamples

witness

witnesses

results

fromError

errorToNothing

errorToFalse

errorToTrue

anyErrorToNothing