Contents:
This module contains various producers of M2-ISA-R models. Currently provided are:
A parser for the ISA description language CoreDSL 2.