Revision fb590008413d4b6c5a0293ef84048d705f2208f6 authored by Pierre-Yves Strub on 03 April 2021, 19:32:58 UTC, committed by Pierre-Yves Strub on 03 April 2021, 19:32:58 UTC
1 parent 7627a75
ecCallbyValue.mli
(* -------------------------------------------------------------------- *)
open EcFol
open EcEnv
open EcReduction
(* -------------------------------------------------------------------- *)
val norm_cbv : reduction_info -> LDecl.hyps -> form -> form
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...