Vnorm
type vm_flags = {
vm_normalize_params : bool;
}
val cbv_vm : ?flags:vm_flags -> Environ.env -> Evd.evar_map -> EConstr.constr -> EConstr.types -> EConstr.constr
Reduction functions