predicate-typed-0.7.4.5: doctest/doctests.hs

import Test.DocTest
main :: IO ()

main = doctest ["src","-XNoStarIsType"]
--main = doctest ["src","--verbose","-XNoStarIsType"]


-- stack exec doctest -- "src/Predicate.hs"
-- stack exec doctest -- src