2. ds: Collection(dec())
3. da1: Collection(SimpleType)
4. da2: Collection(SimpleType)
5. de: sig()
6. closed_rel(r)
7. tc(r;ds;da1;de)
8.
i:
. closed_rel(r) 
i < ||r.args|| closed_term(r.args[i])
tc(r;ds;da2;de) r:rel(), ds:Collection(dec()), da1,da2:Collection(SimpleType), de:sig().
closed_rel(r) tc(r;ds;da1;de) tc(r;ds;da2;de)r:rel(), i:.
closed_rel(r) i < ||r.args|| closed_term(r.args[i])
[r]| 1 | 1. r: rel() 2. ds: Collection(dec()) 3. da1: Collection(SimpleType) 4. da2: Collection(SimpleType) 5. de: sig() 6. closed_rel(r) 7. tc(r;ds;da1;de) 8. i:. closed_rel(r) i < ||r.args|| closed_term(r.args[i]) tc(r;ds;da2;de) |
About:
 |  |