# HG changeset patch
# User james woodyatt
# Date 1317942137 25200
# Branch sideline
# Node ID 6ce8cc60aa1f3eacbfcc877a67c9ed3b087b4e62
# Parent dbe97db837c6c5163248cc749dc8ba94e8306af7
Some minor changes to the generated documentation.
diff --git a/cf/cf_either.mli b/cf/cf_either.mli
--- a/cf/cf_either.mli
+++ b/cf/cf_either.mli
@@ -29,9 +29,7 @@
OF THE POSSIBILITY OF SUCH DAMAGE.
*---------------------------------------------------------------------------*)
-(** A utility type to represent the sum of two parameter types. This is used
- in some of the more arcane operators in the {!Cf_flow} module.
-*)
+(** A utility type to represent the sum of two parameter types. *)
type ('a, 'b) t = A of 'a | B of 'b
diff --git a/cf/cf_flow.mli b/cf/cf_flow.mli
--- a/cf/cf_flow.mli
+++ b/cf/cf_flow.mli
@@ -91,14 +91,14 @@
*)
val broadcast: ('i, 'o) t list -> ('i, 'o) t
-(** Use [mapstate f s] with an initial state value [s] and a folding function
- [f] to construct a stream processor that folds the state into every input
+(** Use [mapstate f s] with an initial state value [s] and a weaving function
+ [f] to construct a stream processor that weaves the state into every input
value to produce an output value and a new state.
*)
val mapstate: ('s -> 'i -> 's * 'o) -> 's -> ('i, 'o) t
-(** Use [machine f s] with an initial state value [s] and a folding function
- [f] to construct a stream processor that folds the state into every input
+(** Use [machine f s] with an initial state value [s] and a weaving function
+ [f] to construct a stream processor that weaves the state into every input
value to produce either a sequence of values to output and a new state or
the end of stream processing.
*)