Language.Haskell.Liquid.Measure

Specifications

data Spec ty bndr

data MSpec ty ctor

Type Aliases

type BareSpec

type BareMeasure

type SpecMeasure

Constructors

mkM

mkMSpec

mkMSpec'

qualifySpec

dataConTypes

defRefType