Language.Haskell.Liquid.Measure

data Spec ty bndr

type BareSpec

data MSpec ty ctor

mkM

mkMSpec

mkMSpec'

qualifySpec

mapTy

dataConTypes

defRefType

strLen

wiredInMeasures