Skip to main content

Browse the archive

Revision 7627a7584c11ea44d9cb3cfa9ca21b73144c1946 authored by Pierre-Yves Strub on 03 April 2021, 17:32:12 UTC, committed by Pierre-Yves Strub on 03 April 2021, 17:32:12 UTC 
Move to GitHub Actions
1 parent 8bcb1ae
Raw File
ecCallbyValue.mli 
(* -------------------------------------------------------------------- *)
open EcFol
open EcEnv
open EcReduction

(* -------------------------------------------------------------------- *)
val norm_cbv : reduction_info -> LDecl.hyps -> form -> form
back to top