Member predicate SpecificInstanceInternal::initializer
Holds if init
in the context callee
is the initializer of this instance
predicate initializer(PythonFunctionObjectInternal init, Context callee)
Holds if init
in the context callee
is the initializer of this instance
predicate initializer(PythonFunctionObjectInternal init, Context callee)