genvalCheckpoint (reference) in projects: dports

Searched refs:genvalCheckpoint (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	`745 return (x, m, GeneralizedValue{ genvalCheckpoint = cp`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Rules/
H A D	Application.hs	`351 sub <- checkpointSubstitution (genvalCheckpoint val)`
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/Monad/
H A D	Base.hs	`1263 { genvalCheckpoint :: CheckpointId function`