Before revision:  Together, this interface describes how to partition values that are passed among functions to enable data pipelining and automatic parallelization while respecting each library 's correctness constraints.
After revision:  Together, this interface describes how to partition values that are passed among functions to enable data pipelining and parallelization, while respecting each library 's correctness constraints.