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