Project

General

Profile

Revision 70be4acf src/machine_code_common.mli

View differences:

src/machine_code_common.mli
15 15
val pp_instrs: Machine_code_types.machine_t -> Format.formatter -> Machine_code_types.instr_t list -> unit
16 16
val pp_machines: Format.formatter -> Machine_code_types.machine_t list -> unit
17 17
val get_machine_opt: string -> Machine_code_types.machine_t list -> Machine_code_types.machine_t option
18

  
19
(** Return the machine of node ident. Raise Not_found *)
20
val get_machine: Lustre_types.ident -> Machine_code_types.machine_t list -> Machine_code_types.machine_t 
21

  
18 22
val get_node_def: string -> Machine_code_types.machine_t -> Lustre_types.node_desc
19 23
val join_guards_list: Machine_code_types.instr_t list -> Machine_code_types.instr_t list

Also available in: Unified diff