Further restructuring: - arrow.ml* to define basic builder for arrow (node, name, ...) - machine_code_common similar to corelang but for machine_code (printers, some builders, ...) - machine_code restricted to the translatation from normalized nodes to machines
Further restructuring:
- arrow.ml* to define basic builder for arrow (node, name, ...)
- machine_code_common similar to corelang but for machine_code (printers, some builders, ...)
- machine_code restricted to the translatation from normalized nodes to machines