Searched defs:defTerminationUnconfirmed (Results 1 – 1 of 1) sorted by relevance
2487 defTerminationUnconfirmed Defn{theDef = Function{funTerminates = Just True}} = False function2488 defTerminationUnconfirmed Defn{theDef = Function{funTerminates = _ }} = True function2489 defTerminationUnconfirmed _ = False function