Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/backends/Ada/ada_backend_common.mli | ||
---|---|---|
29 | 29 |
|
30 | 30 |
val pp_value : (string * printer) list -> formatter -> value_t -> unit |
31 | 31 |
|
32 |
val pp_type : formatter -> type_expr -> unit
|
|
32 |
val pp_type : formatter -> Types.t -> unit
|
|
33 | 33 |
|
34 | 34 |
val pp_var_type : formatter -> var_decl -> unit |
35 | 35 |
|
36 | 36 |
val pp_package_name : machine_t -> printer |
37 | 37 |
|
38 | 38 |
val pp_package_name_with_polymorphic : |
39 |
(int * Types.type_expr) list -> machine_t -> printer
|
|
39 |
(int * Types.t) list -> machine_t -> printer |
|
40 | 40 |
|
41 |
val mk_default_value : type_expr -> value_t
|
|
41 |
val mk_default_value : Types.t -> value_t
|
|
42 | 42 |
|
43 | 43 |
val build_pp_var_decl : parameter_mode -> ada_with -> var_decl -> ada_var_decl |
44 | 44 |
|
... | ... | |
57 | 57 |
val build_pp_state_decl_from_subinstance : |
58 | 58 |
parameter_mode -> |
59 | 59 |
ada_with -> |
60 |
string * ((int * Types.type_expr) list * Machine_code_types.machine_t) ->
|
|
60 |
string * ((int * Types.t) list * Machine_code_types.machine_t) -> |
|
61 | 61 |
ada_var_decl |
62 | 62 |
|
63 | 63 |
val build_pp_state_decl : parameter_mode -> ada_with -> ada_var_decl |
Also available in: Unified diff
another step towards refactoring