Module Type.Typeof

module Target : sig ... end
type ('M, 'T) t = {
  1. argument : ('M, 'T) Target.t;
  2. targs : ('M, 'T) Type.TypeArgs.t option;
  3. comments : ('M, unit) Syntax.t option;
}