Idris.TypeSearch

searchByType

searchPred

defaultScoreFunction