Type Alias Flagged<T>

Flagged: [T["flags"]] extends [null] ? [flags?: null] : [flags: T["flags"]]

The flags of a creation as the last argument of a call, left out where the program's flags are null: an argument that may be left out comes last (decision 0245).