lustrec/src/backends/C/c_backend_spec.mli @ a56f563e
| 1 |
module HdrMod : C_backend_header.MODIFIERS_HDR |
|---|---|
| 2 |
|
| 3 |
module SrcMod : C_backend_src.MODIFIERS_SRC |
| 4 |
|
| 5 |
module MakefileMod : C_backend_makefile.MODIFIERS_MKF |
| 6 |
|
| 7 |
module MainMod : C_backend_main.MODIFIERS_MAINSRC |
| 8 |
|
| 9 |
val sanitize_machines: Machine_code_types.machine_t list -> Machine_code_types.machine_t list |