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