final module/definition Marks a definition or all definitions in a module as final. This means that modules importing this definition cannot extend it. For separate compilation. (Alternative: speculative separate compilation)

-- EelcoVisser - 27 Oct 2001

CategoryToDo? | LanguageExtensions

Revision: r1.1 - 27 Oct 2001 - 13:33 - EelcoVisser
Stratego > FinalDefinitions
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