lustrec/src/backends/C/c_backend_spec.mli @ e77a0fa5
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 |