# div' (div' 12 3) 2;;
Characters 4-14:
div' (div' 12 3) 2;;
- ^^^^^^^^^^
+ ^^^^^^^^^^
Error: This expression has type int option
but an expression was expected of type int
*)
So far so good. But what if we want to combine division with
other arithmetic operations? We need to make those other operations
-aware of the possibility that one of their arguments will trigger a
+aware of the possibility that one of their arguments has triggered a
presupposition failure:
<pre>