Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

src/backends/C/c_backend_mauve.mli
1
open Format
2
open Machine_code_types
3

  
4
val print_mauve_header: formatter -> string -> unit
5
val print_mauve_shell: formatter -> machine_t -> unit
6
val print_mauve_core: formatter -> machine_t -> unit
7
val print_mauve_fsm: formatter -> machine_t -> unit

Also available in: Unified diff