Type.Conditional
type t('M, 'T) = {
check_type: Type.t('M, 'T),
extends_type: Type.t('M, 'T),
true_type: Type.t('M, 'T),
false_type: Type.t('M, 'T),
comments: option(Syntax.t('M, unit)),
};