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:  The annotation and API describe how to enable cross-function data pipelining and automatic parallelization while respecting each library 's correctness constraints.