Home
last modified time | relevance | path

Searched refs:conAbstr (Results 1 – 6 of 6) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/Builtin/
H A DCoinduction.hs94 , conAbstr = ConcreteDef function
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/
H A DRecord.hs241 , conAbstr = Info.defAbstract i function
H A DData.hs279 , conAbstr = Info.defAbstract i function
H A DBuiltin.hs971 , conAbstr = ConcreteDef function
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/
H A DGeneralize.hs794 , conAbstr = ConcreteDef function
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A DBase.hs2111 , conAbstr :: IsAbstract function
2206 , "conAbstr =" <?> pshow conAbstr
2500 Constructor{conAbstr = a} -> a