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

module Foo where

-- |
-- prop> True
foo = undefined