Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell98 |
Documentation
cseFormula :: (Int, Expr) -> (Int, Expr) Source
The Int
is the seed to generate names.
If cseFormula
is called multiple times, one should take care to supply
a new name seed, to avoid clashing names.
importFormula :: Expr -> M Expr Source
importTerm :: Expr -> M Simple Source