genvalTerm (reference) in projects: dports

Searched refs:genvalTerm (Results 1 – 3 of 3) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A D	Generalize.hs	`746 , genvalTerm = term function`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/
H A D	Application.hs	`352 let (v, t) = applySubst sub (genvalTerm val, genvalType val)`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A D	Base.hs	`1264 , genvalTerm :: Term function`