# 3 * 2;;;
- : int = 6
-Here `int` is the type, and OCaml can display the specific value, `= 6`, and no variable was bound to this, so it's just `- : ...` rather than <code><i>variable<i> : ...</code>. Okay, but now in the *module* case, like the function case, OCaml always acts like it can't display the specific instance, but rather than <code>module M : sig <i>type of the module</i> end = <module></code>, it just displays <code>module M : sig <i>type of the module</i> end</code>.
+Here `int` is the type, and OCaml can display the specific value, `= 6`, and no variable was bound to this, so it's just `- : ...` rather than <code><i>variable</i> : ...</code>. Okay, but now in the *module* case, like the function case, OCaml always acts like it can't display the specific instance, but rather than <code>module M : sig <i>type of the module</i> end = <module></code>, it just displays <code>module M : sig <i>type of the module</i> end</code>.
*Inside* the `sig ... end`, you can see the same `type color = ...` declaration you used when supplying the module, and also the type declarations for the values `x` and `foo` that you declared/defined when supplying the module. They appear with the same `val x :` and `val foo :` prefixes we just talked about getting from the interactive interpreter. So now you know what some more of this stuff means.
module E = E.M
E.(throw, catch)
-These mostly have to be entered as individual lines in the interactive interpreter, separated by `;;` and <code><i>return<i></code>s.
+These mostly have to be entered as individual lines in the interactive interpreter, separated by `;;` and <code><i>return</i></code>s.
There remains a final major Monad, the Continuation monad, that we'll discuss and add to the library later.