module Generator: module type of struct include Quickcheck_generator end
module type of struct include Quickcheck_generator end