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 *) |
34e49164 C |
5 | Lib_engine.transformation_info -> |
6 | Control_flow_c.cflow -> Control_flow_c.cflow (* could be unit *) |