Project

General

Profile

Download (675 Bytes) Statistics
| Branch: | Tag: | Revision:
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
(7-7/17)