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