Level:
Lib
Thy
Top
:
Hypotheses:
None
Conclusion:
E,T,X:
.
S:Signature(E;T;X).
T
T
Applied Tactic:
Unfold `sign_t_ref_rel` 0 THEN Auto
Generated subgoals:
None
E,T,X:
. S:Signature(E;T;X). 
T 
T 