liquidhaskell-0.9.6.3.1: src/Liquid/Prelude/Real_LHAssumptions.hs

{-# OPTIONS_GHC -fplugin=LiquidHaskellBoot #-}
module Liquid.Prelude.Real_LHAssumptions where

import GHC.Num()

{-@
assume GHC.Num.* :: (GHC.Num.Num a) => x:a -> y:a -> {v:a | v = x * y} 
@-}