Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/backends/Horn/horn_backend.mli | ||
---|---|---|
1 |
val translate: Format.formatter -> Lustre_types.program_t -> Machine_code_types.machine_t list -> unit |
Also available in: Unified diff
src/backends/Horn/horn_backend.mli | ||
---|---|---|
1 |
val translate: Format.formatter -> Lustre_types.program_t -> Machine_code_types.machine_t list -> unit |
Also available in: Unified diff
another step towards refactoring