Module Type.Typeof

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