Module Reins.Quickcheck

module Quickcheck: sig .. end

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