liquid-base-4.14.0.0: src/Liquid/Prelude/Real.spec

module spec Liquid.Prelude.Real where

import GHC.Num

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