(module Quickcheck_intf)