Revision 1dd51308999f3b164f0c95a2f858d420b2a5a2ff authored by Christian Doczkal on 12 May 2022, 08:35:59 UTC, committed by Pierre-Yves Strub on 17 October 2022, 13:31:22 UTC
1 parent fc2bfba
ecTransMatching.mli
(* -------------------------------------------------------------------- *)
open EcParsetree
open EcMatching
(* -------------------------------------------------------------------- *)
val default_start_name : string
val default_end_name : string
val default_name : string
(* -------------------------------------------------------------------- *)
val trans_stmt : pim_regexp -> regexp_instr
val trans_block : pim_block -> regexp_instr
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...