================== module Int =========================== Support for integer numeric type. ------------------------------------------------------- Author: Rudla Kudla Language: English Version: 1.0 ========================================================= ==================== int -> type ======================== Integer type. ========================================================= sys_value#25 =========== {min:int}..{max:int} -> type ================ Integer defined using min..max range. ========================================================= sys_func#26 =============== {x:int} + {y:int} -> int ================ Integer addition. --------------------------------------------------------- priority: 20 ========================================================= sys_func#20 =============== {x:int} - {y:int} -> int ================ Integer substraction. --------------------------------------------------------- priority: 20 ========================================================= sys_func#21 ================ {x:int} * {y:int} -> int =============== Integer multiplication. --------------------------------------------------------- priority: 50 ========================================================= sys_func#22 =============== {x:int} / {y:int} -> int ================ Integer division. --------------------------------------------------------- priority: 50 ========================================================= sys_func#23 =============== {x:int} = {y:int} -> bool =============== Integer comparison operator. --------------------------------------------------------- priority: 10 ========================================================= sys_func#24