engine/transformation_c.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.metavars_binding -> (* inherited bindings *)
   5   Lib_engine.transformation_info ->
   6   Control_flow_c.cflow -> Control_flow_c.cflow (* could be unit *)