CristalCaveGem » LustreC

      let find_var = (fun v -> v.var_id = varid) in

      let instance = 

	List.find 

	  | MStep(p, o, _) -> List.exists find_var p 

	  | _ -> false

	  ) 

      in

      try

	let variable, instance_node, instance_id = 

	  | MStep(p, o, _) -> 

	    (* Format.eprintf "Looking for machine %s@.@?" o; *)

	    let o_fun, _ = List.assoc o e_machine.mcalls in

let update_machine machine =

  let stateassign vdecl =

  in

  let local_decls = machine.mstep.step_inputs

    (* @ machine.mstep.step_outputs   *)

    mstep = { 

      machine.mstep with 

        step_instrs = machine.mstep.step_instrs

    }

  }