Language.Haskell.Liquid.Bare.OfType

ofBareType

ofMeaSort

ofBSort

ofBPVar

mkLSpecType

mkSpecType'