2022-01-30 00:55:42 +00:00
|
|
|
open General
|
2021-12-18 09:20:30 +00:00
|
|
|
|
2022-01-20 09:07:42 +00:00
|
|
|
|
2022-02-04 03:06:51 +00:00
|
|
|
external ( + ) : int -> int -> int = "%addint"
|
2022-01-20 09:07:42 +00:00
|
|
|
|
2022-02-04 03:06:51 +00:00
|
|
|
external ( - ) : int -> int -> int = "%subint"
|
2022-01-20 09:07:42 +00:00
|
|
|
|
2022-02-04 03:06:51 +00:00
|
|
|
external ( * ) : int -> int -> int = "%mulint"
|
2022-01-20 09:07:42 +00:00
|
|
|
|
2022-02-04 03:06:51 +00:00
|
|
|
external ( / ) : int -> int -> int = "%divint"
|
|
|
|
|
|
|
|
external ( mod ) : int -> int -> int = "%modint"
|
|
|
|
|
|
|
|
external of_char : char -> int = "%identity"
|
|
|
|
|
|
|
|
|
|
|
|
external int_of_string : string -> int = "caml_int_of_string"
|
|
|
|
|
|
|
|
let of_string s =
|
|
|
|
try
|
|
|
|
Some (int_of_string s)
|
|
|
|
with
|
|
|
|
| Failure _ -> None
|
2021-12-18 09:20:30 +00:00
|
|
|
|
2022-01-20 09:07:42 +00:00
|
|
|
|
|
|
|
|