Home
last modified time | relevance | path

Searched defs:patternToTerm (Results 1 – 2 of 2) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/
H A DDisplay.hs75 patternToTerm p ret = function
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Syntax/Internal/
H A DPattern.hs182 patternToTerm p = case patternToElim (defaultArg p) of function