Language.Haskell.Liquid.Types.Literals
literalFRefType
literalFReft
literalConst
mkI
mkS