Predicate signature InputSig::expectsContent
Holds if the value that is being tracked is expected to be stored inside content c
at node n
.
signature predicate expectsContent(Node n, ContentSet c)
Holds if the value that is being tracked is expected to be stored inside content c
at node n
.
signature predicate expectsContent(Node n, ContentSet c)