Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Here is how you'd have to do it using our OCaml monad library:
Here is how you'd have to do it using our OCaml monad library:
- # use "path/to/monads.ml";;
+ # #use "path/to/monads.ml";;
# module S = State_monad(struct type store = store' end);;
# let increment_store'' : ('x,'a) S.m =
S.(get >>= fun cur ->
# module S = State_monad(struct type store = store' end);;
# let increment_store'' : ('x,'a) S.m =
S.(get >>= fun cur ->