Performs a scoped node substitution on this DepGraph.
Performs a scoped node substitution on this DepGraph.
The substitution is represented as a pair from -> to both of type E. The replacement is performed everywhere in the DAG below the scope node of type S. Both S and E are constained to be one of DepGraph or BucketSpec by the availability of instances of the type classes EditUpdate[E] and ScopeUpdate[S] as defined above.
A pair of the whole rewritten DAG and the rewritten scope node.
Returns true if the identities are guaranteed to be unique.
Returns true if the identities are guaranteed to be unique.
The set of available value-sorted keys.
The set of available value-sorted keys.