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
|