2022-01-30 00:55:42 +00:00
|
|
|
open General
|
|
|
|
|
2021-12-18 09:20:30 +00:00
|
|
|
|
2022-02-04 03:06:51 +00:00
|
|
|
external ( + ) : int -> int -> int = "%addint"
|
2021-12-18 09:20:30 +00:00
|
|
|
|
2022-02-04 03:06:51 +00:00
|
|
|
external ( - ) : int -> int -> int = "%subint"
|
2021-12-18 09:20:30 +00:00
|
|
|
|
2022-02-04 03:06:51 +00:00
|
|
|
external ( * ) : int -> int -> int = "%mulint"
|
2021-12-18 09:20:30 +00:00
|
|
|
|
2022-02-04 03:06:51 +00:00
|
|
|
external ( / ) : int -> int -> int = "%divint"
|
|
|
|
|
|
|
|
external ( mod ) : int -> int -> int = "%modint"
|
2022-01-20 09:07:42 +00:00
|
|
|
|
|
|
|
(** Converts the char to an int. *)
|
2022-02-04 03:06:51 +00:00
|
|
|
external of_char : char -> int = "%identity"
|
2022-01-20 09:07:42 +00:00
|
|
|
|
|
|
|
(** Converts the string to an int, returning option type to account for invalid strings. *)
|
|
|
|
val of_string : string -> int option
|