de.be4.classicalb.core.parser.analysis.transforming
Classes
DefinitionInjector
OpSubstitutions
SyntaxExtensionTranslator