Auto docstring updates, including soft port enhancement.
[bpt/guile.git] / doc / ref / scheme-binding.texi
index 5c68bf7..e9b8918 100644 (file)
@@ -219,7 +219,7 @@ Here the enclosing form is a @code{let}, so the @code{define}s in the
 internal definitions is the @strong{complete} body of the
 @code{let}-expression, the @code{lambda}-expression which gets bound
 to the variable @code{banana} may refer to the variable @code{apple},
-even thogh it's definition appears lexically @emph{after} the definition
+even though it's definition appears lexically @emph{after} the definition
 of @code{banana}.  This is because a sequence of internal definition
 acts as if it were a @code{letrec} expression.
 
@@ -262,14 +262,12 @@ with duplicate bindings.
 @node Binding Reflection
 @section Querying variable bindings
 
-Guile provides a procedure for checking wehther a symbol is bound in the
-top level environment.  If you want to test whether a symbol is locally
-bound in expression, you can use the @code{bound?} macro from the module
-@code{(ice-9 optargs)}, documented in @ref{Optional Arguments}.
+Guile provides a procedure for checking whether a symbol is bound in the
+top level environment.
 
 @c NJFIXME explain [env]
 @deffn {Scheme Procedure} defined? sym [env]
-@deffnx {C Function} scm_definedp (sym, env)
+@deffnx {C Function} scm_defined_p (sym, env)
 Return @code{#t} if @var{sym} is defined in the lexical environment @var{env}.  When @var{env} is not specified, look in the top-level environment as defined by the current module.
 @end deffn