tweak tree_monadize.ml

Signed-off-by: Jim Pryor <profjim@jimpryor.net>

diff --git a/code/tree_monadize.ml b/code/tree_monadize.ml
index 43ef659..55b0f7b 100644 (file)
--- a/code/tree_monadize.ml
+++ b/code/tree_monadize.ml
@@ -115,7 +115,7 @@ let t1 = Node
 
 module Tree_monadizer(X : sig
   (* the module we're using as a parameter has to supply function values
 
 module Tree_monadizer(X : sig
   (* the module we're using as a parameter has to supply function values

-   * for unit and bind, as well as a monadic type constructor m *)
+   * for unit and bind, as well as a monadic type constructor *)

   type 'a monad
   val unit : 'a -> 'a monad
   val bind : 'a monad -> ('a -> 'b monad) -> 'b monad
   type 'a monad
   val unit : 'a -> 'a monad
   val bind : 'a monad -> ('a -> 'b monad) -> 'b monad


@@ -197,7 +197,7 @@ let env = fun i -> i + i in
 TreeReader.monadize int_readerize t1 env;;
 
 (* You can also avoid declaring a separate toplevel TreeReader module
 TreeReader.monadize int_readerize t1 env;;
 
 (* You can also avoid declaring a separate toplevel TreeReader module

- * (or even a separate Reader_monad module) by ysing one of these forms:
+ * (or even a separate Reader_monad module) by using one of these forms:

  *     ...
  *     let module T = Tree_monadizer(Reader_monad) in
  *     T.monadize int_readerize t1 env;;
  *     ...
  *     let module T = Tree_monadizer(Reader_monad) in
  *     T.monadize int_readerize t1 env;;