Home
last modified time | relevance | path

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

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Termination/
H A DMonad.hs91 , terMutual :: MutualNames
151 , terMutual = __IMPOSSIBLE__ -- needs to be set! function
278 terGetMutual = terAsks terMutual
H A DTermCheck.hs201 { terMutual = allNames function