Module Type.TypeGuard

type t('M, 'T) = ('M, t'('M, 'T));
and t'('M, 'T) = {
  1. asserts: bool,
  2. guard: (Identifier.t('M, 'M), option(t('M, 'T))),
  3. comments: option(Syntax.t('M, list(Comment.t('M)))),
};