Idris.Elab.Clause

elabClauses

forceWith

elabPE

checkPossible

checkPossibles

findUnique

elabClause

mapRHS

mapRHSdecl