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