Member predicate MakeImpl::Impl::AccessPathApproxNil::isCons
Holds if this is a representation of head
followed by the typ,tail
pair.
predicate isCons(Content head, DataFlowType typ, AccessPathApprox tail)
Holds if this is a representation of head
followed by the typ,tail
pair.
predicate isCons(Content head, DataFlowType typ, AccessPathApprox tail)