5 +# v55.5.0+dev0-2025-04-28/)Targetint!tA;@@@A@@@@@9../../utils/targetint.mli``@@@@)Targetint@@A@$zero)Targetint!t@@@@cc@@A@@#one)Targetint!t@@@@$f%f@@#B@@)minus_one)Targetint!t@@@@5i  6i @@4C@@#neg@)Targetint!t@@@)Targetint!t@@@@@@Pl99Ql9I@@OD@@#add@)Targetint!t@@@@)Targetint!t@@@)Targetint!t@@@@@@@@uobbvobw@@tE@@#sub@)Targetint!t@@@@)Targetint!t@@@)Targetint!t@@@@@@@@rr@@F@@#mul@)Targetint!t@@@@)Targetint!t@@@)Targetint!t@@@@@@@@uu@@G@@#div@)Targetint!t@@@@)Targetint!t@@@)Targetint!t@@@@@@@@xx@@H@@,unsigned_div@)Targetint!t@@@@)Targetint!t@@@)Targetint!t@@@@@@@@ } }@@I@@#rem@)Targetint!t@@@@)Targetint!t@@@)Targetint!t@@@@@@@@.A @ @/A @ U@@-J@@,unsigned_rem@)Targetint!t@@@@)Targetint!t@@@)Targetint!t@@@@@@@@SI  TI  @@RK@@$succ@)Targetint!t@@@)Targetint!t@@@@@@nM : :oM : K@@mL@@$pred@)Targetint!t@@@)Targetint!t@@@@@@Q  Q  @@M@@#abs @)Targetint!t@@@)Targetint!t@@@@@@U  U  @@N@@$size!#int@@@@Y } }Y } @@O@@'max_int")Targetint!t@@@@\  \  @@P@@'min_int#)Targetint!t@@@@a X Xa X g@@Q@@&logand$@)Targetint!t@@@@)Targetint!t@@@)Targetint!t@@@@@@@@f  f  @@R@@%logor%@)Targetint !t@@@@)Targetint !t@@@)Targetint !t@@@@@@@@i i4@@S@@&logxor&@)Targetint !t@@@@)Targetint !t@@@)Targetint!t@@@@@@@@DlQQElQi@@CT@@&lognot'@)Targetint!t@@@)Targetint!t@@@@@@_o`o@@^U@@*shift_left(@)Targetint!t@@@@@@@)Targetint!t@@@@@@@@rr@@V@@+shift_right)@)Targetint!t@@@@@@@)Targetint!t@@@@@@@@xx@@W@@3shift_right_logical*@)Targetint!t@@@@ @@@)Targetint!t@@@@@@@@~~@@X@@&of_int+@#@@@)Targetint!t@@@@@@@@Y@@*of_int_exn,@;@@@)Targetint!t@@@@@@qqq@@Z@@&to_int-@)Targetint!t@@@[@@@@@@ )@@ [@@(of_float.@%float @@@)Targetint!!t@@@@@@&'@@%\@@(to_float/@)Targetint"!t@@@!#@@@@@@>?@@=]@@(of_int320@%int32$@@@)Targetint%!t@@@@@@WDDXD]@@V^@@(to_int321@)Targetint&!t@@@!'@@@@@ @op@@n_@@(of_int642@%int64(@@@ )Targetint)!t@@@ @@ @@@`@@(to_int643@)Targetint*!t@@@ !+@@@@@@'''@@@a@@)of_string4@&string,@@@)Targetint-!t@@@@@@@@b@@)to_string5@)Targetint.!t@@@!/@@@@@@EEE`@@c@@'compare6@)Targetint0!t@@@@)Targetint1!t@@@A2@@@@@@@@@@d@@0unsigned_compare7@)Targetint3!t@@@@)Targetint4!t@@@c5@@@@@@@@@@e@@%equal8@)Targetint6!t@@@ @)Targetint7!t@@@!$bool8@@@"@@#@@$@8OO9Oh@@7f@@$repr9B;@@%Int32:9@@@%@@MN@@Lh@%Int64;:@@@&@@\]@@[i@@@A@@@@@`@@@@^g@A@$repr<@)Targetint;!t@@@0)Targetint<$repr@@@1@@2@z{@@yj@@%print@&Stdlib=&Format)formatter@@@ M@)Targetint>!t@@@ N$unit?@@@ O@@ P@@ Q@?@@k@@@3 !Target processor-native integers.@ : This module provides operations on the type of signed 32-bit integers (on 32-bit target platforms) or signed 64-bit integers (on 64-bit target platforms). This integer type has exactly the same width as that of a pointer type in the C compiler. All arithmetic operations over are taken modulo 2"32@% or 2"64@ : depending on the word size of the target architecture.@# (Warning:@ ' this module is unstable and part of -Compiler_libs@-compiler-libs@!.@@@@@@@@@@@@Aѐ#+Targetint.t3= bitsize,, where 'bitsize$ is "32> on a 32-bit platform and "646 on a 64-bit platform.@@@@@@@@@@@@@@@@@@5Targetint.shift_right39Targetint.shift_right x y( shifts !x1 to the right by !y 8 bits. This is an arithmetic shift: the sign bit of !x V is replicated and inserted in the vacated bits. The result is unspecified if %y < 0$ or ,y >= bitsize!.@@@@@@@@@@@@@#@&@@@@=Targetint.shift_right_logical3 !Targetint.shift_right_logical x y( shifts !x5 to the right by !y j bits. This is a logical shift: zeroes are inserted in the vacated bits regardless of the sign of !x #. The result is unspecified if %y < 0$ or ,y >= bitsize!.@@@@@@@@@@@@@V@Y@@@@0Targetint.of_int3 Convert the given integer (type #int ) to a target integer (type !t?), module the target word size.@@@@@@@@@@@@@t@@@@4Targetint.of_int_exn3 Convert the given integer (type #int ) to a target integer (type !t 8). Raises a fatal error if the conversion is not exact.@@@@@@@@@@@@@@@@@0Targetint.to_int3 'Convert the given target integer (type !t:) to an integer (type #int 9). The high-order bit is lost during the conversion.@@@@@@@@@@@@@@@@@2Targetint.of_float3 Convert the given floating-point number to a target integer, discarding the fractional part (truncate towards 0). The result of the conversion is undefined if, after truncation, the number is outside the range [`D@", D@"].@@@@@@@@@@@@@@@@@2Targetint.to_float3