Unifying the role of names in describing typing of inductive types.
Unifying the role of names in describing typing of inductive types.

Co-authored-by: Ali Caglayan <65ee156158e653ab4f50e78f3cb9f72c59c711f7@gmail.com>

coq/coq,Zimmi48/coq,coq/coq,Zimmi48/coq,Zimmi48/coq,ejgallego/coq,ejgallego/coq,coq/coq,ejgallego/coq,coq/coq,Zimmi48/coq,SkySkimmer/coq,SkySkimmer/coq,SkySkimmer/coq,SkySkimmer/coq,ejgallego/coq