Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

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