equal
deleted
inserted
replaced
2230 |
2230 |
2231 code_printing constant "gcd :: integer \<Rightarrow> _" |
2231 code_printing constant "gcd :: integer \<Rightarrow> _" |
2232 \<rightharpoonup> (OCaml) "Big'_int.gcd'_big'_int" |
2232 \<rightharpoonup> (OCaml) "Big'_int.gcd'_big'_int" |
2233 and (Haskell) "Prelude.gcd" |
2233 and (Haskell) "Prelude.gcd" |
2234 and (Scala) "_.gcd'((_)')" |
2234 and (Scala) "_.gcd'((_)')" |
2235 -- \<open>There is no gcd operation in the SML standard library, so no code setup for SML\<close> |
2235 \<comment> \<open>There is no gcd operation in the SML standard library, so no code setup for SML\<close> |
2236 |
2236 |
2237 end |
2237 end |