doctest-0.25.0: test/integration/property-bool/Foo.hs

module Foo where

-- |
-- prop> True
foo = undefined