Module Expr_generator

module type Generator = sig ... end

This module is implemented by type generators such as Polymorphic and Non_polymorphic.

module Non_polymorphic : sig ... end
module Polymorphic : sig ... end