Language.Haskell.Liquid.Bare.OfType

ofBareType

ofMeaSort

ofBSort

ofBPVar

mkSpecType

mkSpecType'