lazy-lambda-calculus: a0e9228947de5671b7678524c2c232bb506bbdaa

     1: {-# Language FlexibleInstances #-}
     2: {-# Language MultiParamTypeClasses #-}
     3: {-# Language FlexibleContexts #-}
     4: {-# Language ExistentialQuantification #-}
     5: 
     6: module Data.Test where
     7: 
     8: import Control.Monad.Partial
     9: import Data.Nat
    10: import Data.Data
    11: import Data.Language.LC
    12: import Data.Map
    13: import Data.Maybe
    14: import Data.Typeable
    15: import Test.LazySmallCheck2012 hiding (Nat, Term, Const)
    16: import Test.LazySmallCheck2012.Core hiding (Term)
    17: 
    18: data Test = forall a. (Typeable a,
    19:                        Data a,
    20:                        Testable a) => Test a
    21: 
    22: runDepthCheck n (Test t) = depthCheck n t