| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Fixpoint.Types.Utils
Description
This module has various utility functions for accessing queries. TODO: move the "clients" in Visitors into this module.
- kvarDomain :: SInfo a -> KVar -> [Symbol]
- reftFreeVars :: Reft -> HashSet Symbol
Domain of a kvar
kvarDomain :: SInfo a -> KVar -> [Symbol] Source
Compute the domain of a kvar
Free variables in a refinement
reftFreeVars :: Reft -> HashSet Symbol Source
Free variables of a refinement