Project

General

Profile

Revision 59020713 src/machine_code_common.mli

View differences:

src/machine_code_common.mli
9 9
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
10 10
val empty_machine: Machine_code_types.machine_t
11 11
val arrow_machine: Machine_code_types.machine_t
12
val new_instance: Lustre_types.node_desc -> Lustre_types.top_decl -> Lustre_types.tag -> Lustre_types.ident
12
val new_instance: Lustre_types.top_decl -> Lustre_types.tag -> Lustre_types.ident
13 13
val value_of_dimension: Machine_code_types.machine_t -> Dimension.dim_expr -> Machine_code_types.value_t
14 14
val dimension_of_value:Machine_code_types.value_t -> Dimension.dim_expr
15 15
val pp_instr: Machine_code_types.machine_t -> Format.formatter -> Machine_code_types.instr_t -> unit

Also available in: Unified diff