Language.Haskell.Liquid.CTags

Type for constraint tags

type TagKey

type TagEnv

Default tag value

defaultTag

Constructing TagEnv

makeTagEnv

Accessing TagEnv

getTag

memTagEnv