Module Type.Function

module Param : sig ... end
module RestParam : sig ... end
module ThisParam : sig ... end
module Params : sig ... end
type ('M, 'T) t = {
  1. tparams : ('M, 'T) Type.TypeParams.t option;
  2. params : ('M, 'T) Params.t;
  3. return : ('M, 'T) Type.t;
  4. comments : ('M, unit) Syntax.t option;
}