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