Predicate signature Configs::ConfigSig::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)