canonicalize | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
canonicalizeWith | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
canonicalWith | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
char | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
check | Test.Extrapolate.IO, Test.Extrapolate |
checkResult | Test.Extrapolate.IO, Test.Extrapolate |
compareComplexity | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
compareComplexityThen | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
comparisonLE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
comparisonLT | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
concatMapT | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
concatT | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
condEqual | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
condEqualM | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
conditionalComparisonLE | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
conditionalComparisonLT | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
conditionalEquation | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
conditionalGeneralization | Test.Extrapolate.Core, Test.Extrapolate.Basic |
cons0 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
cons1 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
cons10 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
cons11 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
cons12 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
cons2 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
cons3 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
cons4 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
cons5 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
cons6 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
cons7 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
cons8 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
cons9 | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
Constant | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
constant | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
consts | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
counterExampleGen | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
counterExampleGens | Test.Extrapolate.Core, Test.Extrapolate.Basic, Test.Extrapolate |
countVar | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |
countVars | Test.Extrapolate.Exprs, Test.Extrapolate.Core, Test.Extrapolate.Basic |