Error when referencing type variable from another file

Question

I am working upon formalization of groups theory in coq. I have 2 files:

• groups.v - contains definitions and theorems for groups
• groups_Z.v - contains theo