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