-655.5.0+dev0-2025-04-28/$Pair!tA;!a@~!b@@B@A@B@@B@@@YY@@@@@@5../../stdlib/pair.mliWW@@@@$Pair@@A@$make@!a@B@@@@!b@B@@@@@ @@@@@@@%Z&Z@@$A@@#fst@@!a@B@@!b@B@@@@@@@@D]E]*@@CB@@#snd@@!a@B@@!b@B@@@@@@@@c`HHd`H^@@bC@@$swap@@!a@B@@!b@B@@@@@@ @@@@@@c||c|@@D@@$fold@@!a@B@@@@!b@B@@@!c@B@@@@@@@@@@@@@@@@@@@hh@@E@@#map@@!a@B@@@!c@B@@@@@@@!b@B@@@!d@B@@@@@@@(@@@@@@(@@@@@@@@@@k88k8o@@F@@$iter@@!a@B@@@$unit@@@@@@@@@!b@B@@@@@@@@@@@@'@@@@@# @@@@@@@@@@9n:n@@8G@@'map_fst@@!a@B@@@!c@ B@@@@@@@@!b@ B@@@@@@@ @@@@@@@lq//mq/\@@kH@@'map_snd@@!b@B@ @@!c@B@@@@@@@!a@B@@@@@@@ @@@@@@@@tt@@I@@%equal@@!a@6B@@@"@ @@ $bool!@@@@@!@@#@@3@@!b@8B@$@@(@ @@&"@@@%@@'@@)@@1@@/@@@*@@/@@9@#@@+@@-1#@@@,@@.@@0@@2@@4@y11z<@@J@@'compare@@!a@QB@9@@=@ @@;#int$@@@:@@<@@>@@N@@!b@SB@?@@C@ @@A%@@@@@@B@@D@@L@@/@@@E@@J@@9@#@@F@@H1&@@@G@@I@@K@@M@@O@A~B  K@@@K@@@34Operations on pairs.@@@@#5.4@@@@@@@A5../../stdlib/pair.mliA%pairs%Pairs@@#&Pair.t33The type for pairs.@@@@@@@@@@@@}YzY@@Av@jh@@)Pair.make3(make a b- is the pair &(a, b)!.@@@@@@@@@@@@s@ u@n@@@@b(Pair.fst3*fst (a, b)$ is !a!.@@@@@@@@@@@@l@m@@@@[(Pair.snd3*snd (a, b)$ is !b!.@@@@@@@@@@@@e@4f@@@@T)Pair.swap3+swap (a, b)$ is &(b, a)!.@@@@@@@@@@@@^@L_@@@@GA%iters)Iterators@@)Pair.fold3-fold f (a, b)) applies !f$ to !a% and !b!.@@@@@@@@@@@@f@yg@|L@@@@F(Pair.map3.map f g (a, b)) applies !f$ to !a% and !g$ to !b!.@@@@@@@@@@@@b@c@R@A@@@@5)Pair.iter3/iter f g (a, b)/ first applies !f$ to !a+, and then !g$ to !b!.@@@@@@@@@@@@Q@R@A@1@@@@&,Pair.map_fst3+map_fst f p) applies !f$ to !p3's first component.@@@@@@@@@@@@6@7@&@@@@,Pair.map_snd3+map_snd f p) applies !f$ to !p4's second component.@@@@@@@@@@@@$@%@@@@@A%preds:Predicates and comparisons@@*Pair.equal3?equal eqa eqb (a1, b1) (a2, b2)$ is $true0 if and only if )eqa a1 a2) and )eqb b1 b2* are both $true!.@@@@@@@@@@@@'@Q(@T@W@Z@@@@,Pair.compare31compare cmpa cmpb ! is a total order on pairs using $cmpa ) to compare the first component, and $cmpb Q to compare the second component. It is implemented by a lexicographic order.@@@@@@@@@@@@@x@{@~@@@@@@@@@A@@@@@