Module Cbv

type cbv_infos

Entry point for cbv normalization of a constr

val create_cbv_infos : RedFlags.reds -> strong:bool -> Environ.env -> Evd.evar_map -> cbv_infos
val cbv_norm : cbv_infos -> EConstr.constr -> EConstr.constr