Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Termination/
H A DCallGraph.hs144 type CombineNewOldT a = a -> a -> (a, a) function
147 combineNewOld :: CombineNewOldT a
182 combineNewOldCallGraph :: (Monoid cinfo, ?cutoff :: CutOff) => CombineNewOldT (CallGraph cinfo)