| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Language.Haskell.Liquid.Name.LogicNameEnv
Synopsis
- data LogicNameEnv = LogicNameEnv {}
- extendLogicNameEnv :: LogicNameEnv -> [LHName] -> LogicNameEnv
Documentation
data LogicNameEnv Source #
For every symbol tells the corresponding LHName and Sort
Symbols are expected to have been created by lhNameToResolvedSymbol.
Constructors
| LogicNameEnv | |
extendLogicNameEnv :: LogicNameEnv -> [LHName] -> LogicNameEnv Source #