Searched refs:prettyDeterminism (Results 1 – 2 of 2) sorted by relevance
25 prettyDeterminism :: Determinism -> Doc b26 prettyDeterminism Deterministic = "deterministic" function27 prettyDeterminism Nondeterministic = "non-deterministic" function148 , prettyDeterminism det <> "."