Skip to main content

Browse the archive

Raw File
ecPhlSkip.mli 
(* -------------------------------------------------------------------- *)
open EcCoreGoal

(* -------------------------------------------------------------------- *)
val t_skip : FApi.backward
back to top