functor (S : sig val default_seed : Quickcheck_intf.seed end) -> sig val int_middle_bits : int module JC : Quickcheck_intf.Quickcheck module G = JC.Generator module O = JC.Observer end