A Grok32` environment is the collection of ElicitationForms recognized.
The collection of recognized ElicitationForms is given by the definitions, (see Reckon[Name]), of all recognized Names.
The Set of all recognized Names is assigned to the ElicitationForm Name[].
The ordered sequence of all recognized Names is returned when the following is Reckoned:
Since every Name belongs to some Context, the collection of ElicitationForms recognized is determined by the Context[Sequence].
An ElicitationForm is an implicit Pattern within a Context assigned there with a�
(2) Name[elicitForm, exec]
�or�
Name[nam][elicitForm, exec]
�construction.
Name[�] constructions such as the above, execute, exec, if the ElicitationForm, elicitForm, matches an Expression being Reckoned.
Suppose the ElicitationForm, �elicitForm�, from (2) above, has the form:
(3) nam[�Type[arg, argPatrn]�]
If the above �elicitForm� matches something Reckoned in the environment, then exec is invoked.
�arg� and any other SubstitutionNames declared by Type constructions in �elicitForm�, are substituted into exec before it is evaluated.
� 2004, 2005
by John Van Wie Bergamini.
All rights reserved.