Language.Haskell.Liquid.Bare.Plugged

makePluggedSigs

makePluggedAsmSigs

makePluggedDataCons