|bf55.4.0+dev8-2025-09-09/&Option!tA;!a@@A$None@@7../../stdlib/option.mliXX@@&OptionA@$SomeB@@@XX @@ B@@@A&optionL%B@@@@Y@@@@@X@@@@@@A@$none!a@B@@@@@1[ZZ2[Zn@@0C@@$some@!a@B@/ @@@@@@G^H^@@FD@@%value@?!a@B@@@@'default  @@@@@aaba@@`E@@#get@Y!a@B@@@@@@@wd::xd:S@@vF@@$bind@o!a@B@@@@@@ ~!b@B@@@@@@ @@@@@@@@ii@@G@@$join@!a@B@@@@@@@ @@@@@@lEElEm@@H@@#map@@!a@B@!b@B@@@@ɠ@@@Π@@@@@@@@oo@@I@@$fold$none!a@B@$some@!b@ B@@@@ @@@@@@@@@@ r>> r>v@@ J@@$iter@@!a@B@ $unitd@@@ @@ @@@@ e@@@@@@@@1v2v @@0K@@'is_none@)!a@B@@@@$boolf@@@@@@M{ q qN{ q @@LL@@'is_some@E!a@"B@@@@g@@@@@ @h~  i~  @@gM@@%equal @@!a@0B@#@6h@@@$@@%@@&@q@@@(@x@@@*Ii@@@+@@,@@-@@.@A + +A + k@@N@@'compare!@@!a@>B@1@#intj@@@2@@3@@4@@@@6@@@@8k@@@9@@:@@;@@<@E  E  A@@O@@)to_result"$none!e@KB@?@Š!a@IB@@@@@B&Stdlibl&result@@@E@@F@@G@K  K  /@@P@@'to_list#@!a@SB@L@@@N$listm @@@P@@Q@ O   O  @@ Q@@&to_seqc@!a@ ~B@T@@@V&Stdlibn#Seq!t@@@ {@@ |@+R  ,R  @@*R@@@3.Option values.@ J Option values explicitly indicate the presence or absence of a value.@@@@$4.08@@@@@@@A7../../stdlib/option.mliA'options'Options@@#(Option.t3 #The type for option values. Either $None, or a value &Some v!.@@@@@@@@@@@@hY@c@@@[Z@@@@AU@L[@@+Option.none3$none$ is $None!.@@@@@@@@@@@@X@@@@O+Option.some3&some v$ is &Some v!.@@@@@@@@@@@@Y@ [@@@@R,Option.value30value o ~default$ is !v$ if !o$ is &Some v% and 'default+ otherwise.@@@@@@@@@@@@n@+o@dn@@@@e*Option.get3%get o$ is !v$ if !o$ is &Some v5 and raise otherwise.@@@@@@@@0Invalid_argument#if !o$ is $None!.@@@@@@d@@@@+Option.bind3(bind o f$ is #f v$ if !o$ is &Some v% and $None$ if !o$ is $None!.@@@@@@@@@@@@@@@@@@+Option.join3'join oo$ is &Some v$ if "oo$ is -Some (Some v)% and $None+ otherwise.@@@@@@@@@@@@@@@@@*Option.map3'map f o$ is $None$ if !o$ is $None% and *Some (f v)$ if !o$ is &Some v!.@@@@@@@@@@@@@@@@@@+Option.fold32fold ~none ~some o$ is $none$ if !o$ is $None% and &some v$ if !o( is &Some v!.@@@@@@@@@@@@@@@<@@@@Ƞ+Option.iter3(iter f o$ is #f v$ if !o$ is &Some v% and "()+ otherwise.@@@@@@@@@@@@@f@i@@@@РA%preds:Predicates and comparisons@@.Option.is_none3)is_none o$ is $true0 if and only if !o$ is $None!.@@@@@@@@@@@@@@@@@᠕.Option.is_some3)is_some o$ is $true0 if and only if !o$ is &Some o!.@@@@@@@@@@@@@@@@@ꠕ,Option.equal3.equal eq o0 o1$ is $true0 if and only if "o0% and "o1* are both $None4 or if they are 'Some v0% and 'Some v1% and (eq v0 v1$ is $true!.@@@@@@@@@@@@@@@ @@@@.Option.compare31compare cmp o0 o1 # is a total order on options using #cmp " to compare values wrapped by &Some _". $None1 is smaller than &Some _( values.@@@@@@@@@@@@!@,"@/@2@@@@A'convert*Converting@@0Option.to_result31to_result ~none o$ is $Ok v$ if !o$ is &Some v% and *Error none/ otherwise.@@@@@@@@@@@@,@,+@h&@@@@.Option.to_list3)to_list o$ is "[]$ if !o$ is $None% and #[v]$ if !o$ is &Some v!.@@@@@@@@@@@@;@<@@@@,-Option.to_seq3(to_seq o$ is !o0 as a sequence. $None? is the empty sequence and &Some v & is the singleton sequence containing !v!.@@@@@@@@@@@@H@I@@@@5@@)@@A#Seq@@@@@