liquidhaskell-0.8.10.7: tests/todo/InfixLib.hs

module InfixLib where 

{-@ infix +++ @-}
{-@ reflect +++ @-}
(+++) :: Int -> Int -> Int 
a +++ b = a + b + 10