hls-eval-plugin-1.1.1.0: test/testdata/TProperty.expected.hs

-- Support for property checking
module TProperty where

-- prop> \(l::[Bool]) -> reverse (reverse l) == l
-- +++ OK, passed 100 tests.