StdInt.bitand :== bitand StdInt.bitor :== bitor StdInt.bitxor :== bitxor <{StdInt.<<}> :== shiftleft <{StdInt.>>}> :== shiftright <{StdInt.+_6}> :== add <{StdInt.-_7}> :== sub StdInt.zero_8 :== 0 <{StdInt.*_9}> :== mult <{StdInt./_10}> :== div StdInt.one_11 :== 1 StdInt.isEven_18 !a_0 = eq (mod a_0 2) 0 <{StdInt.<_17}> :== lt StdInt.abs_13 :== abs <{StdInt.==_16}> :== eq StdInt.sign_14 !x_0 = if (eq x_0 0) 0 (if (gt 0 x_0) -1 1) <{StdInt.~_15}> :== neg StdInt.isOdd_19 !a_0 = eq (mod a_0 2) 1 StdInt.toInt_20 :== toInt_char || char -> int StdInt.toInt_22 :== toInt_real StdInt.toInt_23 :== toInt_str || str -> int StdInt.fromInt_25 :== toChar StdInt.fromInt_26 !a_0 = a_0 || int -> real StdInt.fromInt_27 :== toString StdInt.rem_28 :== mod StdInt.gcdnat_32 !x_0 !x_1 = if (eq 0 x_1) x_0 (StdInt.gcdnat_32 x_1 (mod x_0 x_1)) StdInt.gcd_29 !x_0 !y_1 = StdInt.gcdnat_32 (abs x_0) (abs y_1) StdInt.lcm_30 !x_0 !x_1 = if (eq 0 x_1) 0 (if (eq 0 x_0) 0 (abs (mult (div x_0 (StdInt.gcd_29 x_0 _x_1)) x_1)))