Module Reins.Quickcheck


module Quickcheck: sig .. end


Random Testing Framework

This module implements a random testing framework based on Claessen and Hughes's QuickCheck library for Haskell.

exception Trivial
module type Law = sig .. end
module type Config = sig .. end
module Check: 
functor (Conf : Config) ->
functor (L : Law) -> sig .. end