[bpt/coccinelle.git] / engine / ctltotex.mli

val totex :
  string ->
    Ast_cocci.rule list ->
      ((Lib_engine.predicate * Ast_cocci.meta_name Ast_ctl.modif,
	Ast_cocci.meta_name,Wrapper_ctl.info)
	 Ast_ctl.generic_ctl * 'a) list list ->
	   unit
Commit	Line	Data
34e49164 C	1	val totex :
	2	string ->
	3	Ast_cocci.rule list ->
	4	((Lib_engine.predicate * Ast_cocci.meta_name Ast_ctl.modif,
	5	Ast_cocci.meta_name,Wrapper_ctl.info)
	6	Ast_ctl.generic_ctl * 'a) list list ->
	7	unit