At:
rel mng 2 wf
2
1.
r: rel()
2.
ds: Collection{i}(dec())
3.
da: Collection{i}(dec())
4.
de: sig()
5.
rho: Decl{i}
6.
st1: Collection{i}(SimpleType)
7.
sig_mng{i:l}(de; rho) = sig_mng{i:l}(de; rho)
8.
zzz: Decl{i}
Decl{i'}
Decl{i} 
Decl{i'}
By:
Unfold `decl` 0
Generated subgoals:
None
About:
