Commit 7772ceb8 authored by POTTIER Francois's avatar POTTIER Francois

Fixed comments about [lookup].

parent b47d2fad
...@@ -18,9 +18,9 @@ type ('bn, 'term) abs = ...@@ -18,9 +18,9 @@ type ('bn, 'term) abs =
define where the environment is enriched. *) define where the environment is enriched. *)
(* These methods do not know the type of the environment, and do not know how (* These methods do not know the type of the environment, and do not know how
it is enriched or looked up; the latter task is delegated to the virtual it is enriched; the latter task is delegated to the virtual method
methods [extend] and [lookup]. The implementation of these methods is [extend]. The implementation of this method is provided by separate
provided by separate ``kits''. *) ``kits''. *)
(* We need several varieties of visitors, which is a bit painful. As of now, (* We need several varieties of visitors, which is a bit painful. As of now,
[iter], [map], [endo], [iter2] are required: see [ToolboxInput]. *) [iter], [map], [endo], [iter2] are required: see [ToolboxInput]. *)
...@@ -30,9 +30,9 @@ type ('bn, 'term) abs = ...@@ -30,9 +30,9 @@ type ('bn, 'term) abs =
construct in a single type definition and still be able to construct construct in a single type definition and still be able to construct
well-typed visitors. *) well-typed visitors. *)
(* The virtual methods [extend] and [lookup] are not polymorphic in the types (* The virtual method [extend] is not polymorphic in the types of bound names
of bound names and environments. On the contrary, each kit comes with and environments. On the contrary, each kit comes with certain specific
certain specific types of bound names and environments. *) types of bound names and environments. *)
(* -------------------------------------------------------------------------- *) (* -------------------------------------------------------------------------- *)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment