Member predicate SecurityOptions::isPureFunction
This predicate should hold if the function with the given name is a pure function of its arguments.
predicate isPureFunction(string name)
This predicate should hold if the function with the given name is a pure function of its arguments.
predicate isPureFunction(string name)