CristalCaveGem » LustreC

let update_machine main_node machine scopes =

  let stateassign (vdecl_mem, vdecl_orig) =

    (MStateAssign (vdecl_mem, mk_val (Var vdecl_orig) vdecl_orig.var_type))

  in

  let selection =

    mstep = { 

      machine.mstep with 

        step_instrs = machine.mstep.step_instrs

    }

  }