liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe HaskellSafe
LanguageHaskell98

Language.Haskell.Liquid.Types.Specifications

Description

This module contains the LH specifications (assumes) for various imported modules.

Synopsis

Documentation

specAnchor :: Int Source #

Gross hack, to force dependency and loading of module.