Searched defs:NonTermination (Results 1 – 4 of 4) sorted by relevance
354 data NonTermination = NonTermination type
644 data NonTermination = NonTermination function
644 data NonTermination = NonTermination type