Predicate signature Configs::StateConfigSig::allowImplicitRead
Holds if an arbitrary number of implicit read steps of content c
may be
taken at node
.
signature predicate allowImplicitRead(Node node, ContentSet c)
Holds if an arbitrary number of implicit read steps of content c
may be
taken at node
.
signature predicate allowImplicitRead(Node node, ContentSet c)