Revision a7062da6
Added by LĂ©lio Brun over 3 years ago
src/compiler_common.mli | ||
---|---|---|
11 | 11 |
val update_vdecl_parents_prog: program_t -> unit |
12 | 12 |
|
13 | 13 |
val expand_automata: program_t -> program_t |
14 |
|
|
15 |
(* Process each node/imported node and introduce the associated contract node *) |
|
16 |
val resolve_contracts: program_t -> program_t |
|
17 |
|
|
18 |
val force_stateful_decls: program_t -> unit |
|
19 |
|
|
20 |
val check_stateless_decls: program_t -> unit |
|
21 |
|
|
22 |
val type_decls: Types.t Env.t -> program_t -> Types.t Env.t |
|
23 |
|
|
24 |
val clock_decls: Clocks.t Env.t -> program_t -> Clocks.t Env.t |
|
25 |
|
|
26 |
val create_dest_dir: unit -> unit |
Also available in: Unified diff
another step towards refactoring