https://github.com/EasyCrypt/easycrypt
Revision fe76f3396562618bbee795ea7032cdb29714100e authored by Benjamin Gregoire on 14 December 2017, 10:37:55 UTC, committed by Benjamin Gregoire on 14 December 2017, 10:37:55 UTC
1 parent 527d9ad
Raw File
Tip revision: fe76f3396562618bbee795ea7032cdb29714100e authored by Benjamin Gregoire on 14 December 2017, 10:37:55 UTC
more lemmas on FSet.oflist
Tip revision: fe76f33
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
back to top