Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/backends/Ada/ada_backend_ads.mli | ||
---|---|---|
1 |
open Utils |
|
2 |
open Machine_code_types |
|
3 |
|
|
4 |
(** Print the package declaration(ads) of a machine. It requires the list of |
|
5 |
all typed instance. A typed submachine is a (ident, typed_machine) with - |
|
6 |
ident: the name - typed_machine: a (substitution, machine) with - machine: |
|
7 |
the submachine struct - substitution the instanciation of all its |
|
8 |
polymorphic types. @param fmt the formater to print on @param |
|
9 |
typed_submachines list of all typed submachines of this machine @param m |
|
10 |
the machine **) |
|
11 |
val pp_file: Format.formatter -> (ident * ((tag * Types.t) list * machine_t)) list |
|
12 |
* ((machine_t option * ident list) * machine_t) -> unit |
Also available in: Unified diff
another step towards refactoring