Experiment with quotes.
Showing with 1 addition and 1 deletion
|...||...||@@ -346,7 +346,7 @@ the definition of the type `'a sometree`, which may be unpleasant (if the|
|definition is large) or impossible (if the definition is hidden behind an|
|Another approach is to generate a visitor in "a priori" style. When the type|
|Another approach is to generate a visitor in 'a priori' style. When the type|
|`'a sometree` is first defined, a `reduce` visitor can be immediately|
|generated for it, as follows:|