src/HOL/Library/ExecutableRat.thy

 section {* code names *}
 
 code_modulename SML
   ExecutableRat Rational
 
+code_modulename OCaml
+  ExecutableRat Rational
+
 
 section {* rat as abstype *}
 
 lemma [code func]: -- {* prevents eq constraint *}
   shows "All = All"

   "inverse \<Colon> rat \<Rightarrow> rat" \<equiv> "inverse \<Colon> erat \<Rightarrow> erat"
   "op \<le> \<Colon> rat \<Rightarrow> rat \<Rightarrow> bool" \<equiv>  "op \<le> \<Colon> erat \<Rightarrow> erat \<Rightarrow> bool"
   "op = \<Colon> rat \<Rightarrow> rat \<Rightarrow> bool" \<equiv> eq_erat
 
 code_const div_zero
-  (SML "raise/ (Fail/ \"Division by zero\")")
+  (SML "raise/ Fail/ \"Division by zero\"")
+  (OCaml "failwith \"Division by zero\"")
   (Haskell "error/ \"Division by zero\"")
 
 code_gen
   Fract
   "0 \<Colon> rat"