ߠ55.5.0+dev0-2025-04-28/$Repr*phys_equal@!a@A@@$bool@@@@@@@#%eqBA @@@@5../../stdlib/repr.mliU||U|@@$Repr@@@%equal@!a@A@@!@@@@@@@&%equalBA @@@@a a@@A@@'compare@!a@A@@#int@@@@@@@(%compareBA>@@@@=imm>im@@ )@@1, as well as the %equal Z function defined above, with one difference on the treatment of the float value *Stdlib.nan@@ +. Namely, the comparison predicates treat #nan J as different from any other float value, including itself; while $repr( treats #nan P as equal to itself and less than any other float value. This treatment of #nan. ensures that 'compare ' defines a total ordering relation.@% 'compare ( applied to functional values may raise 0Invalid_argument&. 'compare 0 applied to cyclic structures may not terminate.@) The 'compare E function can be used as the comparison function required by the (Set.Make@@% and (Map.Make@@> functors, as well as the )List.sort@@% and *Array.sort@@+ functions.@@@@@@@@@@@@u@v@y@@@@h(Repr.min3 |Return the smaller of the two arguments. The result is unspecified if one of the arguments contains the float value *Stdlib.nan@@!.@@@@@@@@@@@@o@p@s@@@@m(Repr.max3 |Return the greater of the two arguments. The result is unspecified if one of the arguments contains the float value *Stdlib.nan@@!.@@@@@@@@@@@@t@u@x@@@@r@@j@@A@@@@@