You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
* Represents result of search. Normally when searching among several alternatives we treat value `undefined` as indicator
1025
-
* that search fails and we should try another option.
1025
+
* that search fails and we should try another option.
1026
1026
* However this does not allow us to represent final result that should be used instead of further searching (i.e. a final result that was found in cache).
1027
1027
* SearchResult is used to deal with this issue, its values represents following outcomes:
1028
1028
* - undefined - not found, continue searching
1029
1029
* - { value: undefined } - not found - stop searching
0 commit comments