TermWrap patterns simplify wrapping some complex constructor pattern around a term. For instance, split(f,g) can now be written as
and this generalizes to arbitrary build patterns.

CategoryDone? | LanguageExtensions | Contributions by EelcoVisser

Revision: r1.4 - 17 May 2003 - 21:10 - MartinBravenboer
Stratego > TermWrap
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback