A C55.5.0+dev0-2025-04-28/$Bool!tA;@@%false@@5../../stdlib/bool.mliVV@@$BoolA@$true@@ V V@@ B@@@A$bool"@@@@@@@V @@A@@@A@#not@#@@@$@@@@@@*]+]@@)C@@"&&@%%@@@@,&@@@1'@@@@@@@(%sequandBA @@@@L`M`@@KD@@"||@G(@@@@N)@@@S*@@@@@@@'%sequorBA"@@@@mene@@lE@@&logand@h+@@@@o,@@@t-@@@@@@@@jj@@F@@%logor@.@@@@/@@@0@@@@@@@@m$$m$D@@G@@&logxor@1@@@@2@@@3@@@@@@@@pp@@H@@%equal@4@@@@5@@@6@@@@@@@@u . .u . N@@I@@'compare@7@@@@8@@@#int9@@@@@@@@y  y  @@J@@&to_int@:@@@;@@@@@@ R R R j@@K@@(to_float@ <@@@%float=@@@@@@%B  &B  @@$L@@)to_string@ >@@@&string?@@@@@@;K  <K  @@:M@@+seeded_hash @R@@@@@=A@@@^B@@@@@@@@WO / /XO / S@@VN@@$hash!@RC@@@sD@@@@@@lV / /mV / E@@kO@@@3/Boolean values.@@@@$4.08@@@@@@@A5../../stdlib/bool.mliA%bools(Booleans@@#&Bool.t3 $The type of booleans (truth values).@6 The constructors %false% and $true p are included here so that they have paths, but they are not intended to be used in user-defined data types.@@@@@@@@@@@@@@@@@@@@A@@@(Bool.not3%not b< is the boolean negation of !b!.@@@@@@@@@@@@@ @@@@)Bool.(&&)3(e0 && e1 0 is the lazy boolean conjunction of expressions "e0% and "e1). If "e0. evaluates to %false", "e1 K is not evaluated. Right-associative operator at precedence level 3/11.@@@@@@@@@@@@@1@4@@@@)Bool.(||)3(e0 || e1 0 is the lazy boolean disjunction of expressions "e0% and "e1). If "e0. evaluates to $true", "e1 K is not evaluated. Right-associative operator at precedence level 2/11.@@@@@@@@@@@@@d@g@@@@+Bool.logand3,logand b1 b2$ is $true0 if and only if "b1% and "b2* are both $true!.@@@@@@@@@@@@@@@@@@̠*Bool.logor3+logor b1 b2$ is $true7 if and only if either "b1$ or "b2$ is $true!.@@@@@@@@@@@@@@@@@@ݠ+Bool.logxor3,logxor b1 b2$ is $true3 if exactly one of "b1% and "b2$ is $true!.@@@@@@@@@@@@@@@@@@A%preds:Predicates and comparisons@@*Bool.equal3+equal b0 b1$ is $true0 if and only if "b0% and "b1* are both $true- or both %false!.@@@@@@@@@@@@@'@*@@@@,Bool.compare3-compare b0 b1 % is a total order on boolean values. %false5 is smaller than $true!.@@@@@@@@@@@@@H@K@@@@A'convert*Converting@@+Bool.to_int3(to_int b$ is !0$ if !b$ is %false% and !1$ if !b$ is $true!.@@@@@@@@@@@@C@D@@@@<-Bool.to_float3*to_float b$ is "0.$ if !b$ is %false% and "1.$ if !b$ is $true!.@@@@@@@@@@@@d@e@@@@\.Bool.to_string3+to_string b$ is &"true"$ if !b$ is $true% and '"false"$ if !b( is %false!.@@@@@@@@@@@@@@@@@|0Bool.seeded_hash3 GA seeded hash function for booleans, with the same output value as 3Hashtbl.seeded_hash@@ O. This function allows this module to be passed as argument to the functor 2Hashtbl.MakeSeeded@@!.@@@@#5.1@@@@@@@@@@@@@)Bool.hash3 JAn unseeded hash function for booleans, with the same output value as ,Hashtbl.hash@@ O. This function allows this module to be passed as argument to the functor ,Hashtbl.Make@@!.@@@@#5.1@@@@@@@@3@@@@@@@@A@@@@@