Cc_core_plugin.Ccprojectability
val build_projection : Environ.env -> Evd.evar_map -> Constr.pconstructor -> int -> EConstr.t -> EConstr.t -> EConstr.t -> EConstr.types -> Evd.evar_map * EConstr.t