Revision 88e05a0eeb88e2a247bc0c0c0625f0212376fc1d authored by Benjamin Gregoire on 12 January 2021, 14:55:42 UTC, committed by Benjamin Gregoire on 12 January 2021, 14:55:42 UTC
1 parent 5583bca
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 ...