Searched defs:patternToTerm (Results 1 – 2 of 2) sorted by relevance
75 patternToTerm p ret = function
182 patternToTerm p = case patternToElim (defaultArg p) of function