Function.ReturnAnnot
type t('M, 'T) =
| Missing('T)
| Available(Type.annotation('M, 'T))
| TypeGuard(Type.type_guard_annotation('M, 'T))
;