Quickcheck_intf.Quickcheck