Revision 75c459f4
Added by Lélio Brun about 2 years ago
| src/machine_code_common.mli | ||
|---|---|---|
| 8 | 8 |
val is_stateless: Machine_code_types.machine_t -> bool |
| 9 | 9 |
val mk_val: Machine_code_types.value_t_desc -> Types.type_expr -> Machine_code_types.value_t |
| 10 | 10 |
val mk_conditional: ?lustre_eq:Lustre_types.eq -> Machine_code_types.value_t -> Machine_code_types.instr_t list -> Machine_code_types.instr_t list -> Machine_code_types.instr_t |
| 11 |
val mk_branch: ?lustre_eq:Lustre_types.eq -> Machine_code_types.value_t -> (Lustre_types.label * Machine_code_types.instr_t list) list -> Machine_code_types.instr_t |
|
| 12 |
val mk_assign: ?lustre_eq:Lustre_types.eq -> Lustre_types.var_decl -> Machine_code_types.value_t -> Machine_code_types.instr_t |
|
| 11 | 13 |
val empty_machine: Machine_code_types.machine_t |
| 12 | 14 |
val arrow_machine: Machine_code_types.machine_t |
| 13 | 15 |
val new_instance: Lustre_types.top_decl -> Lustre_types.tag -> Lustre_types.ident |
Also available in: Unified diff
start with Spec AST generation