Nondeterminism analysis: checks whether operations encapsulate or produce non-deterministic values
Author: Michael Hanus
Version: February 2023
showNondet
:: AOutFormat -> Nondet -> String
|
nondetOperations
:: Analysis Nondet
Non-determinism type analysis. |
Data type to represent the (non-)determinism status of expressions and functions.
Constructors:
|
Non-determinism type analysis. |