2
フローは、いわゆる"Maybe types"と定義されています。私。 ?stringはstring | null | voidに似ています（voidは値undefinedのタイプです）。フロー内のnullでない、未定義型
nullとundefinedのような一般的なタイプのものはありますか？$Diff<$Diff<any, null>, void>のようなものは、$Diffオペレータが非オブジェクト型で操作できる場合は基本的に何か。