-- 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 ()