engine/transformation3.mli

   1 (* note that now we do the transformation via side effect on ast *)
   2 val transform :
   3   string (* rule name *) -> string list (* dropped isos *) ->
   4   Lib_engine.transformation_info ->
   5   Control_flow_c.cflow -> Control_flow_c.cflow (* could be unit *)