- <pre>
- # let ( * ) m f = match m with None -> None | Some n -> f n;;
- val ( * ) : 'a option -> ('a -> 'b option) -> 'b option = <fun>
- # let unit x = Some x;;
- val unit : 'a -> 'a option = <fun>
- # unit 2 * unit;;
- - : int option = Some 2
- </pre>
-
- The parentheses is the magic for telling Ocaml that the
- function to be defined (in this case, the name of the function
- is `*`, pronounced "bind") is an infix operator, so we write
- `m * f` or `( * ) m f` instead of `* m f`.
+<pre>
+# let ( * ) m f = match m with None -> None | Some n -> f n;;
+val ( * ) : 'a option -> ('a -> 'b option) -> 'b option = <fun>
+# let unit x = Some x;;
+val unit : 'a -> 'a option = <fun>
+# unit 2 * unit;;
+- : int option = Some 2
+</pre>
+
+The parentheses is the magic for telling Ocaml that the
+function to be defined (in this case, the name of the function
+is `*`, pronounced "bind") is an infix operator, so we write
+`m * f` or `( * ) m f` instead of `* m f`.