Source position: fpjsonrtti.pp line 138
type TJSONDestreamOption = (
jdoCaseInsensitive,
jdoIgnorePropertyErrors,
jdoIgnoreNulls,
jdoNullClearsProperty
);