From 87fcf2e0424de82f4915477ce768235bb97920b1 Mon Sep 17 00:00:00 2001
From: Stephen Adams <edu/mit/csail/zurich/adams>
Date: Thu, 20 Oct 1994 19:00:18 +0000
Subject: [PATCH] Documented VECTOR-BINARY-SEARCH.

---
 v7/doc/ref-manual/scheme.texinfo | 24 +++++++++++++++++++++++-
 1 file changed, 23 insertions(+), 1 deletion(-)

diff --git a/v7/doc/ref-manual/scheme.texinfo b/v7/doc/ref-manual/scheme.texinfo
index 9cdaea69e..af24a8976 100644
--- a/v7/doc/ref-manual/scheme.texinfo
+++ b/v7/doc/ref-manual/scheme.texinfo
@@ -2,7 +2,7 @@
 @iftex
 @finalout
 @end iftex
-@comment $Id: scheme.texinfo,v 1.46 1994/10/17 16:08:36 adams Exp $
+@comment $Id: scheme.texinfo,v 1.47 1994/10/20 19:00:18 adams Exp $
 @comment %**start of header (This is for running Texinfo on a region.)
 @setfilename scheme
 @settitle MIT Scheme Reference
@@ -7509,6 +7509,28 @@ the obvious way.  It is an error if the implicit index of one of these
 procedurs is not a valid index of @var{vector}.
 @end deffn
 
+@deffn {procedure+} vector-binary-search vector key<? unwrap-key key
+@cindex searching, of vector
+Searches @var{vector} for an item with a key matching @var{KEY},
+returning the object if one is found or @code{#F} if not found.  The
+search operation takes time proportional to the logarithm of the length
+@var{VECTOR}.
+The key of an object in @var{vector} is obtained by applying
+@var{unwrap-key} to the object.
+The objects in @var{vector} must be ordered according to the relation
+@var{key<?} on the object's keys.
+
+@example
+@group
+(define (translate number)
+  (vector-binary-search '#((1 . i) (2 . ii) (3 . iii) (6 . vi))
+                        <  car  number))
+(translate 2)  @result{}  (2 . ii)
+(translate 4)  @result{}  #F
+@end group
+@end example
+@end deffn
+
 @node Cutting Vectors, Modifying Vectors, Selecting Vector Components, Vectors
 @section Cutting Vectors
 @cindex cutting, of vector
-- 
2.25.1