Statement.OpaqueType
type t('M, 'T) = {
id: Identifier.t('M, 'T),
tparams: option(Type.TypeParams.t('M, 'T)),
impltype: option(Type.t('M, 'T)),
supertype: option(Type.t('M, 'T)),
comments: option(Syntax.t('M, unit)),
};