8 %&"55.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@@@@@@Rl99Sl9I@@QD@@#add@)Targetint!t@@@@@@)Targetint!t@@@@@)Targetint!t@@@@@@@@{obb|obw@@zE@@#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@@@@@@@@HA @ @IA @ U@@GJ@@,unsigned_rem@)Targetint!t@@@@@@)Targetint!t@@@@@)Targetint!t@@@@@@@@qI  rI  @@pK@@$succ@)Targetint!t@@@@@)Targetint!t@@@@@@M : :M : K@@L@@$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@@@@@@@@KiLi4@@JS@@&logxor&@)Targetint !t@@@@@@)Targetint !t@@@@@)Targetint!t@@@@@@@@tlQQulQi@@sT@@&lognot'@)Targetint!t@@@@@)Targetint!t@@@@@@oo@@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,@Y@@@@@)Targetint!t@@@@@@7qq8q@@6Z@@&to_int-@)Targetint!t@@@@@{@@@@@@QR)@@P[@@(of_float.@%float @@@@@)Targetint!!t@@@@@@lm@@k\@@(to_float/@)Targetint"!t@@@@@##@@@@@@@@]@@(of_int320@%int32$@@@@@)Targetint%!t@@@@@@DDD]@@^@@(to_int321@)Targetint&!t@@@@@ #'@@@ @@ @@@_@@(of_int642@%int64(@@@ @@)Targetint)!t@@@ @@@@@`@@(to_int643@)Targetint*!t@@@@@#+@@@@@@'''@@@a@@)of_string4@&string,@@@@@)Targetint-!t@@@@@@  @@ b@@)to_string5@)Targetint.!t@@@@@#/@@@@@@%EE&E`@@$c@@'compare6@)Targetint0!t@@@@@!@)Targetint1!t@@@@@u2@@@@@ @@"@KL@@Jd@@0unsigned_compare7@)Targetint3!t@@@#@@(@)Targetint4!t@@@$@@&5@@@%@@'@@)@qr@@pe@@%equal8@)Targetint6!t@@@*@@/@)Targetint7!t@@@+@@-$bool8@@@,@@.@@0@OOOh@@f@@$repr9B;@@%Int32:9@@@1@@@@h@%Int64;:@@@2@@@@i@@@A@@@@@@@@@g@A@$repr<@)Targetint;!t@@@<@@>)Targetint<$repr@@@=@@?@@@j@@%print@&Stdlib=&Format)formatter@@@@@@)Targetint>!t@@@@@$unit?@@@@@@@@?@@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@!.@@@@@@@@@@@@A7#+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