Final Definitions
Stratego -- Strategies for Program Transformation
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