Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.Haskell.Liquid.Bare.ToBare
Description
This module contains functions that convert things
to their Bare
versions, e.g. SpecType -> BareType etc.
Synopsis
- specToBare :: SpecType -> BareType
- measureToBare :: SpecMeasure -> BareMeasure