Specially crafted EConstr.kind to be more efficient.
Specially crafted EConstr.kind to be more efficient.

We do one step of loop unrolling, limit the number of allocations and
mark the function as inline.

ppedrot/coq,maximedenes/coq,letouzey/coq-wip,JasonGross/coq,JasonGross/coq,Zimmi48/coq,SkySkimmer/coq,Zimmi48/coq,gares/coq,ejgallego/coq,ppedrot/coq,Matafou/coq,maximedenes/coq,william-lawvere/coq,Lionel-Rieg/coq,maximedenes/coq,silene/coq,ejgallego/coq,coq/coq,JasonGross/coq,ppedrot/coq,letouzey/coq-wip,JasonGross/coq,SkySkimmer/coq,Matafou/coq,Matafou/coq,coq/coq,letouzey/coq-wip,Zimmi48/coq,coq/coq,gares/coq,ejgallego/coq,gares/coq,Zimmi48/coq,amintimany/coq,ejgallego/coq,gares/coq,amintimany/coq,letouzey/coq-wip,coq/coq,letouzey/coq-wip,silene/coq,Lionel-Rieg/coq,amintimany/coq,ppedrot/coq,SkySkimmer/coq,maximedenes/coq,william-lawvere/coq,ppedrot/coq,gares/coq,Lionel-Rieg/coq,silene/coq,william-lawvere/coq,maximedenes/coq,SkySkimmer/coq