Source position: fpjsonrtti.pp line 139
type TJSONDestreamOptions = set of (
jdoCaseInsensitive,
jdoIgnorePropertyErrors,
jdoIgnoreNulls,
jdoNullClearsProperty
);