Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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