Idris.Coverage

genClauses

validCoverageCase

recoverableCoverage

mkPatTm