Idris.CaseSplit

splitOnLine

replaceSplits

getClause

getProofClause

mkWith

nameMissing

getUniq

nameRoot