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