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

module Foo where

-- |
-- prop> True :: Bool
foo = undefined