Project

General

Profile

Revision f0195e96 src/machine_code_common.mli

View differences:

src/machine_code_common.mli
22 22

  
23 23
val get_node_def: string -> Machine_code_types.machine_t -> Lustre_types.node_desc
24 24
val join_guards_list: Machine_code_types.instr_t list -> Machine_code_types.instr_t list
25
val machine_vars: Machine_code_types.machine_t -> Lustre_types.var_decl list

Also available in: Unified diff