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)