Member predicate MakeImpl::Impl::AccessPathApprox::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)