liquidhaskell-0.4.0.0: tests/pos/SimplerNotation.hs

module SimplerNotation () where

{-@ myDiv :: x:Int -> y:{Int | y != 0} -> {v:Int | v = x / y} @-}
myDiv :: Int -> Int -> Int
myDiv = div