Idris.Elab.Clause

elabClauses

forceWith

elabPE

checkPossible

checkPossibles

findUnique

getUnfolds

getNamesToUnfold

elabClause

mapRHS

mapRHSdecl