class Refinement

Refinement is a class of the self (current context) inside refine statement. It allows to import methods from other modules, see import_methods.