Exported names:
- Operations:
- analyseNondeterminism
- analyseSetValued
Imported modules:

Module Nondeterminism

Summary of exported operations:

analyseNondeterminism
                  ::  [FuncDecl] -> [((String,String),Bool)]

Deterministic

analyseSetValued
                  ::  [FuncDecl] -> [((String,String),Bool)]

Deterministic

Exported operations:

analyseNondeterminism :: [FuncDecl] -> [((String,String),Bool)]

analyseSetValued :: [FuncDecl] -> [((String,String),Bool)]