class Refinement

Refinement ist eine Klasse von self (aktueller Kontext) innerhalb einer refine-Anweisung. Sie ermöglicht den Import von Methoden aus anderen Modulen, siehe import_methods.