A minimal library for aspect-oriented programming.
This module defines the behaviour for external Exaop checkers.
This module defines the behaviour for external Exaop setters.