Safe Haskell | None |
---|---|
Language | Haskell98 |
This module contains the top-level SOLUTION data types, including various indices used for solving.
Documentation
uniquify :: (NFData a, Fixpoint a, Loc a) => SInfo a -> SInfo a Source #
Make each gradual appearence unique -------------------------------------
makeSolutions :: (NFData a, Fixpoint a, Show a) => Config -> SInfo a -> [(KVar, (GWInfo, [[Expr]]))] -> Maybe [GSol] Source #