Predicate deallocationFunctionModel

Holds if an external deallocation model exists for the given parameters.

Import path

import cpp

predicate deallocationFunctionModel(string namespace, string type, boolean subtypes, string name, string freedArg)