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