Camfort.Functionality
data Flag
type Options
getExcludes
getExcludedFiles
ast
countVarDecls
dead
common
equivalences
datatypes
optsToUnitOpts
getModFiles
isModFile
unitsCheck
unitsInfer
unitsCompile
unitsSynth
unitsCriticals
stencilsCheck
stencilsInfer
stencilsSynth