leancheck-0.7.6: mk/Toplibs.hs
-- Using ghc --make in this module triggers compilation of every library. module Toplibs () where import Test.LeanCheck () import Test.LeanCheck.Utils () import Test.LeanCheck.Error () import Test.LeanCheck.Function () import Test.LeanCheck.Generic ()