liquidhaskell-0.8.10.7: tests/measure/pos/Using00.hs
-- tag: using
module Invariant where
{-@ using [a] as {v : [a] | (len v) > 0 } @-}
xs = repeat 1
add x xs = x:xs
bar xs = head xs
foo xs = tail xs
-- tag: using
module Invariant where
{-@ using [a] as {v : [a] | (len v) > 0 } @-}
xs = repeat 1
add x xs = x:xs
bar xs = head xs
foo xs = tail xs