r:rel(), ds,da:Collection(dec()), de:sig(), rho:Decl, st1:Collection(SimpleType), e:{[[de]] rho}, s:{[[ds]] rho}, a:[[st1]] rho, tr:trace_env([[da]] rho). trace_consistent_rel(rho;da;tr.proj;r) tc(r;ds;st1;de) [[r]] rho ds st1 de e s a tr Prop

1	1. r: rel() 2. ds: Collection(dec()) 3. da: Collection(dec()) 4. de: sig() 5. rho: Decl 6. st1: Collection(SimpleType) 7. e: {[[de]] rho} 8. s: {[[ds]] rho} 9. a: [[st1]] rho 10. tr: trace_env([[da]] rho) 11. trace_consistent_rel(rho;da;tr.proj;r) tc(r;ds;st1;de) list_accum(x,t.x([[t]] 1of(e) s a tr);[[r.name]] rho 2of(e) ;r.args) Prop
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'}

About: