doctest-parallel-0.1: test/integration/PropertyImplicitlyQuantified/Foo.hs

module PropertyImplicitlyQuantified.Foo where

-- |
-- prop> abs x == abs (abs x)
foo = undefined