MagicHaskeller-0.8.3: Automatic inductive functional programmer by systematic search
Contents
Index
ConstrLSF
Documentation
data
ConstrLSF
Instances
ProgramGenerator
ConstrLSF
specializedPossibleTypes
:: Expression e => Type -> (Int, MemoDeb e) -> Recomp Type
Produced by
Haddock
version 0.8