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) return_annotation;
  4. comments : ('M, unit) Syntax.t option;
}
and ('M, 'T) return_annotation =
  1. | TypeAnnotation of ('M, 'T) Type.t
  2. | TypeGuard of ('M, 'T) Type.TypeGuard.t