[econstr] Continue consolidation of EConstr API under `interp`.#6511

Merged

maximedenes merged 1 commit intocoq:masterfrom ejgallego:econstr+more_fix

Mar 4, 2018

+286-265

Commits on Feb 28, 2018

[econstr] Continue consolidation of EConstr API under interp.
ejgallego
committed