pervasives.re

let (!): bool => bool;
let (&&): (bool, bool) => bool;
let (||): (bool, bool) => bool;


let (~-): int => int;
let (~+): int => int;
let succ: int => int;
let pred: int => int;
let (+): (int, int) => int;
let (-): (int, int) => int;
let ( * ): (int, int) => int;
let (/): (int, int) => int;
let (mod): (int, int) => int;
let abs: int => int;
let max_int: int;
let min_int: int;