Commit | Line | Data |
---|---|---|
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.numbered_transformation_info -> | |
6 | Control_flow_c.cflow -> Control_flow_c.cflow (* could be unit *) |