1 | 11. RL: S.car* 12. 0 < ||RL|| 13. ||RL|| ![]() 14. RL[(||RL||-1)] = si 15. ![]() ![]() ![]() ![]() ![]() 16. y: {x:(S.car*)| 0 < ||x|| & ||x|| ![]() ![]() ![]() |
2 | ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() ![]() |
3 | 13. R1: {y:{x:(S.car*)| 0 < ||x|| & ||x||![]() 14. k: ![]() 15. k ![]() 16. RLa: S.car* 17. a: Alph 18. g(a) < k ![]() ![]() |
4 | 13. R1: {y:{x:(S.car*)| 0 < ||x|| & ||x||![]() 14. k: ![]() 15. k ![]() 16. RLa: S.car* 17. a: Alph 18. g(a) < k ![]() ![]() |
About:
![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() |
![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() |