1 | 18. [[r]] rho A.ds < > de e x' ![]() ![]() 19. [[r]] rho A.ds < > de e x' ![]() ![]() 20. [[wp(A;kind(a);r)]] rho A.ds dec_lookup(A.da;kind(a)) de e s value(a) tr ![]() 21. [[wp_rel(A;kind(a);r)]] rho A.ds dec_lookup(A.da;kind(a)) de e s value(a) tr ![]() 22. [[r]] rho A.ds < > de e x' ![]() ![]() ![]() |
2 | 18. [[r]] rho A.ds < > de e x' ![]() ![]() 19. [[r]] rho A.ds < > de e x' ![]() ![]() 20. [[wp(A;kind(a);r)]] rho A.ds dec_lookup(A.da;kind(a)) de e s value(a) tr ![]() 21. [[wp_rel(A;kind(a);r)]] rho A.ds dec_lookup(A.da;kind(a)) de e s value(a) tr ![]() 22. [[r]] rho A.ds < > de e x' ![]() 23. [[wp(A;kind(a);r)]] rho A.ds dec_lookup(A.da;kind(a)) de e s value(a) tr ![]() |
3 | 18. [[r]] rho A.ds < > de e x' ![]() ![]() 19. [[r]] rho A.ds < > de e x' ![]() ![]() 20. [[wp(A;kind(a);r)]] rho A.ds dec_lookup(A.da;kind(a)) de e s value(a) tr ![]() 21. [[wp_rel(A;kind(a);r)]] rho A.ds dec_lookup(A.da;kind(a)) de e s value(a) tr ![]() 22. [[wp_rel(A;kind(a);r)]] rho A.ds dec_lookup(A.da;kind(a)) de e s value(a) tr ![]() |
4 | 18. [[r]] rho A.ds < > de e x' ![]() ![]() 19. [[r]] rho A.ds < > de e x' ![]() ![]() 20. [[wp(A;kind(a);r)]] rho A.ds dec_lookup(A.da;kind(a)) de e s value(a) tr ![]() 21. [[wp_rel(A;kind(a);r)]] rho A.ds dec_lookup(A.da;kind(a)) de e s value(a) tr ![]() 22. [[wp_rel(A;kind(a);r)]] rho A.ds dec_lookup(A.da;kind(a)) de e s value(a) tr 23. [[r]] rho A.ds < > de e x' ![]() ![]() ![]() |
About:
![]() | ![]() | ![]() | ![]() |