liquidhaskell-0.8.6.0: include/GHC/Prim.spec

module spec GHC.Prim where 

embed GHC.Prim.Int#     as int
embed GHC.Prim.Double#  as real
embed GHC.Prim.Float#  as real
embed GHC.Prim.Word#    as int