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