Commit | Line | Data |
---|---|---|
34e49164 C |
1 | (* note that now we do the transformation via side effect on ast *) |
2 | val transform : | |
3 | string (* rule name *) -> string list (* dropped isos *) -> | |
1be43e12 | 4 | Lib_engine.metavars_binding -> (* inherited bindings *) |
708f4980 | 5 | Lib_engine.numbered_transformation_info -> |
34e49164 | 6 | Control_flow_c.cflow -> Control_flow_c.cflow (* could be unit *) |