Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/backends/Ada/ada_backend_adb.mli | ||
---|---|---|
1 |
open Utils |
|
2 |
open Machine_code_types |
|
3 |
|
|
4 |
(** Print the package definition(ads) of a machine. It requires the list of |
|
5 |
all typed instance. A typed submachine instance is (ident, type_machine) |
|
6 |
with ident the instance name and typed_machine is (substitution, machine) |
|
7 |
with machine the machine associated to the instance and substitution the |
|
8 |
instanciation of all its polymorphic types. @param fmt the formater to |
|
9 |
print on @param typed_submachines list of all typed machine instances of |
|
10 |
this machine @param m 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