metacoq icon indicating copy to clipboard operation
metacoq copied to clipboard

Published 20 hours ago • verified publisher icon MetaCoq

Constr vs Econstr

Open SimonBoulier opened this issue 6 years ago • 1 comments

Everywhere in the code we convert our Constr.t to some EConstr.t and back. I consider moving everything to EConstr (and continue carrying the evarmap). Do you agree it is the right thing to do?

SimonBoulier avatar Jan 09 '19 12:01 SimonBoulier

Yep, sounds right.

mattam82 avatar Jan 15 '19 10:01 mattam82