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
|