Language.Haskell.Liquid.Bare

data GhcSpec

makeGhcSpec

Lifted Spec

loadLiftedSpec

saveLiftedSpec