home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / lifeos2.zip / LIFE-1.02 / TESTS / REFOUT / LUB.REF < prev    next >
Text File  |  1996-06-04  |  14KB  |  1,098 lines

  1.  
  2. *** Yes
  3. > > 
  4. *** Yes
  5. A = int.
  6. --1> 
  7. *** Yes
  8. A = int, B = int.
  9. ----2> 
  10. *** Yes
  11. A = int, B = int, C = real.
  12. ------3> 
  13. *** Yes
  14. A = int, B = int, C = real, D = real.
  15. --------4> 
  16. *** Yes
  17. A = int, B = int, C = real, D = real, E = real.
  18. ----------5> 
  19. *** Yes
  20. A = int, B = int, C = real, D = real, E = real, F = real.
  21. ------------6> 
  22. *** Yes
  23. A = int, B = int, C = real, D = real, E = real, F = real, G = string.
  24. --------------7> 
  25. *** Yes
  26. A = int, 
  27. B = int, 
  28. C = real, 
  29. D = real, 
  30. E = real, 
  31. F = real, 
  32. G = string, 
  33. H = string.
  34.  
  35. ----------------8> 
  36. *** Yes
  37. A = int, 
  38. B = int, 
  39. C = real, 
  40. D = real, 
  41. E = real, 
  42. F = real, 
  43. G = string, 
  44. H = string, 
  45. I = "232".
  46.  
  47. ------------------9> 
  48. *** Yes
  49. A = int, 
  50. B = int, 
  51. C = real, 
  52. D = real, 
  53. E = real, 
  54. F = real, 
  55. G = string, 
  56. H = string, 
  57. I = "232", 
  58. J = string.
  59.  
  60. --------------------10> 
  61. *** Yes
  62. A = int, 
  63. B = int, 
  64. C = real, 
  65. D = real, 
  66. E = real, 
  67. F = real, 
  68. G = string, 
  69. H = string, 
  70. I = "232", 
  71. J = string, 
  72. K = int.
  73.  
  74. ----------------------11> 
  75. *** Yes
  76. A = int, 
  77. B = int, 
  78. C = real, 
  79. D = real, 
  80. E = real, 
  81. F = real, 
  82. G = string, 
  83. H = string, 
  84. I = "232", 
  85. J = string, 
  86. K = int, 
  87. L = 1.
  88.  
  89. ------------------------12> 
  90. *** Yes
  91. A = int, 
  92. B = int, 
  93. C = real, 
  94. D = real, 
  95. E = real, 
  96. F = real, 
  97. G = string, 
  98. H = string, 
  99. I = "232", 
  100. J = string, 
  101. K = int, 
  102. L = 1, 
  103. M = real.
  104.  
  105. --------------------------13> 
  106. *** Yes
  107. A = int, 
  108. B = int, 
  109. C = real, 
  110. D = real, 
  111. E = real, 
  112. F = real, 
  113. G = string, 
  114. H = string, 
  115. I = "232", 
  116. J = string, 
  117. K = int, 
  118. L = 1, 
  119. M = real, 
  120. N = real.
  121.  
  122. ----------------------------14> 
  123. *** Yes
  124. A = int, 
  125. B = int, 
  126. C = real, 
  127. D = real, 
  128. E = real, 
  129. F = real, 
  130. G = string, 
  131. H = string, 
  132. I = "232", 
  133. J = string, 
  134. K = int, 
  135. L = 1, 
  136. M = real, 
  137. N = real, 
  138. O = string.
  139.  
  140. ------------------------------15> 
  141. *** Yes
  142. A = int, 
  143. B = int, 
  144. C = real, 
  145. D = real, 
  146. E = real, 
  147. F = real, 
  148. G = string, 
  149. H = string, 
  150. I = "232", 
  151. J = string, 
  152. K = int, 
  153. L = 1, 
  154. M = real, 
  155. N = real, 
  156. O = string, 
  157. P = int.
  158.  
  159. --------------------------------16> 
  160. *** Yes
  161. A = int, 
  162. B = int, 
  163. C = real, 
  164. D = real, 
  165. E = real, 
  166. F = real, 
  167. G = string, 
  168. H = string, 
  169. I = "232", 
  170. J = string, 
  171. K = int, 
  172. L = 1, 
  173. M = real, 
  174. N = real, 
  175. O = string, 
  176. P = int, 
  177. Q = real.
  178.  
  179. ----------------------------------17> 
  180. *** Yes
  181. A = int, 
  182. B = int, 
  183. C = real, 
  184. D = real, 
  185. E = real, 
  186. F = real, 
  187. G = string, 
  188. H = string, 
  189. I = "232", 
  190. J = string, 
  191. K = int, 
  192. L = 1, 
  193. M = real, 
  194. N = real, 
  195. O = string, 
  196. P = int, 
  197. Q = real, 
  198. R = real.
  199.  
  200. ------------------------------------18> 
  201. *** Yes
  202. A = int, 
  203. B = int, 
  204. C = real, 
  205. D = real, 
  206. E = real, 
  207. F = real, 
  208. G = string, 
  209. H = string, 
  210. I = "232", 
  211. J = string, 
  212. K = int, 
  213. L = 1, 
  214. M = real, 
  215. N = real, 
  216. O = string, 
  217. P = int, 
  218. Q = real, 
  219. R = real, 
  220. S = real.
  221.  
  222. --------------------------------------19> 
  223. *** Yes
  224. A = int, 
  225. B = int, 
  226. C = real, 
  227. D = real, 
  228. E = real, 
  229. F = real, 
  230. G = string, 
  231. H = string, 
  232. I = "232", 
  233. J = string, 
  234. K = int, 
  235. L = 1, 
  236. M = real, 
  237. N = real, 
  238. O = string, 
  239. P = int, 
  240. Q = real, 
  241. R = real, 
  242. S = real, 
  243. T = built_in.
  244.  
  245. ----------------------------------------20> 
  246. *** Yes
  247. A = int, 
  248. B = int, 
  249. C = real, 
  250. D = real, 
  251. E = real, 
  252. F = real, 
  253. G = string, 
  254. H = string, 
  255. I = "232", 
  256. J = string, 
  257. K = int, 
  258. L = 1, 
  259. M = real, 
  260. N = real, 
  261. O = string, 
  262. P = int, 
  263. Q = real, 
  264. R = real, 
  265. S = real, 
  266. T = built_in, 
  267. U = built_in.
  268.  
  269. ------------------------------------------21> 
  270. *** Yes
  271. A = int, 
  272. B = int, 
  273. C = real, 
  274. D = real, 
  275. E = real, 
  276. F = real, 
  277. G = string, 
  278. H = string, 
  279. I = "232", 
  280. J = string, 
  281. K = int, 
  282. L = 1, 
  283. M = real, 
  284. N = real, 
  285. O = string, 
  286. P = int, 
  287. Q = real, 
  288. R = real, 
  289. S = real, 
  290. T = built_in, 
  291. U = built_in, 
  292. V = built_in.
  293.  
  294. --------------------------------------------22> 
  295. *** Yes
  296. A = int, 
  297. B = int, 
  298. C = real, 
  299. D = real, 
  300. E = real, 
  301. F = real, 
  302. G = string, 
  303. H = string, 
  304. I = "232", 
  305. J = string, 
  306. K = int, 
  307. L = 1, 
  308. M = real, 
  309. N = real, 
  310. O = string, 
  311. P = int, 
  312. Q = real, 
  313. R = real, 
  314. S = real, 
  315. T = built_in, 
  316. U = built_in, 
  317. V = built_in, 
  318. W = built_in.
  319.  
  320. ----------------------------------------------23> 
  321. *** Yes
  322. A = int, 
  323. B = int, 
  324. C = real, 
  325. D = real, 
  326. E = real, 
  327. F = real, 
  328. G = string, 
  329. H = string, 
  330. I = "232", 
  331. J = string, 
  332. K = int, 
  333. L = 1, 
  334. M = real, 
  335. N = real, 
  336. O = string, 
  337. P = int, 
  338. Q = real, 
  339. R = real, 
  340. S = real, 
  341. T = built_in, 
  342. U = built_in, 
  343. V = built_in, 
  344. W = built_in, 
  345. X = built_in.
  346.  
  347. ------------------------------------------------24> 
  348. *** Yes
  349. A = int, 
  350. B = int, 
  351. C = real, 
  352. D = real, 
  353. E = real, 
  354. F = real, 
  355. G = string, 
  356. H = string, 
  357. I = "232", 
  358. J = string, 
  359. K = int, 
  360. L = 1, 
  361. M = real, 
  362. N = real, 
  363. O = string, 
  364. P = int, 
  365. Q = real, 
  366. R = real, 
  367. S = real, 
  368. T = built_in, 
  369. U = built_in, 
  370. V = built_in, 
  371. W = built_in, 
  372. X = built_in, 
  373. Y = built_in.
  374.  
  375. --------------------------------------------------25> 
  376. *** Yes
  377. A = int, 
  378. B = int, 
  379. C = real, 
  380. D = real, 
  381. E = real, 
  382. F = real, 
  383. G = string, 
  384. H = string, 
  385. I = "232", 
  386. J = string, 
  387. K = int, 
  388. L = 1, 
  389. M = real, 
  390. N = real, 
  391. O = string, 
  392. P = int, 
  393. Q = real, 
  394. R = real, 
  395. S = real, 
  396. T = built_in, 
  397. U = built_in, 
  398. V = built_in, 
  399. W = built_in, 
  400. X = built_in, 
  401. Y = built_in, 
  402. Z = list.
  403.  
  404. ----------------------------------------------------26> 
  405. *** Yes
  406. A = int, 
  407. AA = list, 
  408. B = int, 
  409. C = real, 
  410. D = real, 
  411. E = real, 
  412. F = real, 
  413. G = string, 
  414. H = string, 
  415. I = "232", 
  416. J = string, 
  417. K = int, 
  418. L = 1, 
  419. M = real, 
  420. N = real, 
  421. O = string, 
  422. P = int, 
  423. Q = real, 
  424. R = real, 
  425. S = real, 
  426. T = built_in, 
  427. U = built_in, 
  428. V = built_in, 
  429. W = built_in, 
  430. X = built_in, 
  431. Y = built_in, 
  432. Z = list.
  433.  
  434. ------------------------------------------------------27> 
  435. *** Yes
  436. A = int, 
  437. AA = list, 
  438. AB = list, 
  439. B = int, 
  440. C = real, 
  441. D = real, 
  442. E = real, 
  443. F = real, 
  444. G = string, 
  445. H = string, 
  446. I = "232", 
  447. J = string, 
  448. K = int, 
  449. L = 1, 
  450. M = real, 
  451. N = real, 
  452. O = string, 
  453. P = int, 
  454. Q = real, 
  455. R = real, 
  456. S = real, 
  457. T = built_in, 
  458. U = built_in, 
  459. V = built_in, 
  460. W = built_in, 
  461. X = built_in, 
  462. Y = built_in, 
  463. Z = list.
  464.  
  465. --------------------------------------------------------28> 
  466. *** Yes
  467. A = int, 
  468. AA = list, 
  469. AB = list, 
  470. AC = list, 
  471. B = int, 
  472. C = real, 
  473. D = real, 
  474. E = real, 
  475. F = real, 
  476. G = string, 
  477. H = string, 
  478. I = "232", 
  479. J = string, 
  480. K = int, 
  481. L = 1, 
  482. M = real, 
  483. N = real, 
  484. O = string, 
  485. P = int, 
  486. Q = real, 
  487. R = real, 
  488. S = real, 
  489. T = built_in, 
  490. U = built_in, 
  491. V = built_in, 
  492. W = built_in, 
  493. X = built_in, 
  494. Y = built_in, 
  495. Z = list.
  496.  
  497. ----------------------------------------------------------29> 
  498. *** Yes
  499. A = int, 
  500. AA = list, 
  501. AB = list, 
  502. AC = list, 
  503. AD = cons, 
  504. B = int, 
  505. C = real, 
  506. D = real, 
  507. E = real, 
  508. F = real, 
  509. G = string, 
  510. H = string, 
  511. I = "232", 
  512. J = string, 
  513. K = int, 
  514. L = 1, 
  515. M = real, 
  516. N = real, 
  517. O = string, 
  518. P = int, 
  519. Q = real, 
  520. R = real, 
  521. S = real, 
  522. T = built_in, 
  523. U = built_in, 
  524. V = built_in, 
  525. W = built_in, 
  526. X = built_in, 
  527. Y = built_in, 
  528. Z = list.
  529.  
  530. ------------------------------------------------------------30> 
  531. *** Yes
  532. A = int, 
  533. AA = list, 
  534. AB = list, 
  535. AC = list, 
  536. AD = cons, 
  537. AE = list, 
  538. B = int, 
  539. C = real, 
  540. D = real, 
  541. E = real, 
  542. F = real, 
  543. G = string, 
  544. H = string, 
  545. I = "232", 
  546. J = string, 
  547. K = int, 
  548. L = 1, 
  549. M = real, 
  550. N = real, 
  551. O = string, 
  552. P = int, 
  553. Q = real, 
  554. R = real, 
  555. S = real, 
  556. T = built_in, 
  557. U = built_in, 
  558. V = built_in, 
  559. W = built_in, 
  560. X = built_in, 
  561. Y = built_in, 
  562. Z = list.
  563.  
  564. --------------------------------------------------------------31> 
  565. *** Yes
  566. A = int, 
  567. AA = list, 
  568. AB = list, 
  569. AC = list, 
  570. AD = cons, 
  571. AE = list, 
  572. AF = list, 
  573. B = int, 
  574. C = real, 
  575. D = real, 
  576. E = real, 
  577. F = real, 
  578. G = string, 
  579. H = string, 
  580. I = "232", 
  581. J = string, 
  582. K = int, 
  583. L = 1, 
  584. M = real, 
  585. N = real, 
  586. O = string, 
  587. P = int, 
  588. Q = real, 
  589. R = real, 
  590. S = real, 
  591. T = built_in, 
  592. U = built_in, 
  593. V = built_in, 
  594. W = built_in, 
  595. X = built_in, 
  596. Y = built_in, 
  597. Z = list.
  598.  
  599. ----------------------------------------------------------------32> 
  600. *** Yes
  601. A = int, 
  602. AA = list, 
  603. AB = list, 
  604. AC = list, 
  605. AD = cons, 
  606. AE = list, 
  607. AF = list, 
  608. AG = [], 
  609. B = int, 
  610. C = real, 
  611. D = real, 
  612. E = real, 
  613. F = real, 
  614. G = string, 
  615. H = string, 
  616. I = "232", 
  617. J = string, 
  618. K = int, 
  619. L = 1, 
  620. M = real, 
  621. N = real, 
  622. O = string, 
  623. P = int, 
  624. Q = real, 
  625. R = real, 
  626. S = real, 
  627. T = built_in, 
  628. U = built_in, 
  629. V = built_in, 
  630. W = built_in, 
  631. X = built_in, 
  632. Y = built_in, 
  633. Z = list.
  634.  
  635. ------------------------------------------------------------------33> 
  636. *** Yes
  637. A = int, 
  638. AA = list, 
  639. AB = list, 
  640. AC = list, 
  641. AD = cons, 
  642. AE = list, 
  643. AF = list, 
  644. AG = [], 
  645. AH = list, 
  646. B = int, 
  647. C = real, 
  648. D = real, 
  649. E = real, 
  650. F = real, 
  651. G = string, 
  652. H = string, 
  653. I = "232", 
  654. J = string, 
  655. K = int, 
  656. L = 1, 
  657. M = real, 
  658. N = real, 
  659. O = string, 
  660. P = int, 
  661. Q = real, 
  662. R = real, 
  663. S = real, 
  664. T = built_in, 
  665. U = built_in, 
  666. V = built_in, 
  667. W = built_in, 
  668. X = built_in, 
  669. Y = built_in, 
  670. Z = list.
  671.  
  672. --------------------------------------------------------------------34> 
  673. *** Yes
  674. A = int, 
  675. AA = list, 
  676. AB = list, 
  677. AC = list, 
  678. AD = cons, 
  679. AE = list, 
  680. AF = list, 
  681. AG = [], 
  682. AH = list, 
  683. AI = built_in, 
  684. B = int, 
  685. C = real, 
  686. D = real, 
  687. E = real, 
  688. F = real, 
  689. G = string, 
  690. H = string, 
  691. I = "232", 
  692. J = string, 
  693. K = int, 
  694. L = 1, 
  695. M = real, 
  696. N = real, 
  697. O = string, 
  698. P = int, 
  699. Q = real, 
  700. R = real, 
  701. S = real, 
  702. T = built_in, 
  703. U = built_in, 
  704. V = built_in, 
  705. W = built_in, 
  706. X = built_in, 
  707. Y = built_in, 
  708. Z = list.
  709.  
  710. ----------------------------------------------------------------------35> 
  711. *** Yes
  712. A = int, 
  713. AA = list, 
  714. AB = list, 
  715. AC = list, 
  716. AD = cons, 
  717. AE = list, 
  718. AF = list, 
  719. AG = [], 
  720. AH = list, 
  721. AI = built_in, 
  722. AJ = built_in, 
  723. B = int, 
  724. C = real, 
  725. D = real, 
  726. E = real, 
  727. F = real, 
  728. G = string, 
  729. H = string, 
  730. I = "232", 
  731. J = string, 
  732. K = int, 
  733. L = 1, 
  734. M = real, 
  735. N = real, 
  736. O = string, 
  737. P = int, 
  738. Q = real, 
  739. R = real, 
  740. S = real, 
  741. T = built_in, 
  742. U = built_in, 
  743. V = built_in, 
  744. W = built_in, 
  745. X = built_in, 
  746. Y = built_in, 
  747. Z = list.
  748.  
  749. ------------------------------------------------------------------------36> 
  750. *** Yes
  751. A = int, 
  752. AA = list, 
  753. AB = list, 
  754. AC = list, 
  755. AD = cons, 
  756. AE = list, 
  757. AF = list, 
  758. AG = [], 
  759. AH = list, 
  760. AI = built_in, 
  761. AJ = built_in, 
  762. AK = @, 
  763. B = int, 
  764. C = real, 
  765. D = real, 
  766. E = real, 
  767. F = real, 
  768. G = string, 
  769. H = string, 
  770. I = "232", 
  771. J = string, 
  772. K = int, 
  773. L = 1, 
  774. M = real, 
  775. N = real, 
  776. O = string, 
  777. P = int, 
  778. Q = real, 
  779. R = real, 
  780. S = real, 
  781. T = built_in, 
  782. U = built_in, 
  783. V = built_in, 
  784. W = built_in, 
  785. X = built_in, 
  786. Y = built_in, 
  787. Z = list.
  788.  
  789. --------------------------------------------------------------------------37> 
  790. *** Yes
  791. A = int, 
  792. AA = list, 
  793. AB = list, 
  794. AC = list, 
  795. AD = cons, 
  796. AE = list, 
  797. AF = list, 
  798. AG = [], 
  799. AH = list, 
  800. AI = built_in, 
  801. AJ = built_in, 
  802. AK = @, 
  803. AL = @, 
  804. B = int, 
  805. C = real, 
  806. D = real, 
  807. E = real, 
  808. F = real, 
  809. G = string, 
  810. H = string, 
  811. I = "232", 
  812. J = string, 
  813. K = int, 
  814. L = 1, 
  815. M = real, 
  816. N = real, 
  817. O = string, 
  818. P = int, 
  819. Q = real, 
  820. R = real, 
  821. S = real, 
  822. T = built_in, 
  823. U = built_in, 
  824. V = built_in, 
  825. W = built_in, 
  826. X = built_in, 
  827. Y = built_in, 
  828. Z = list.
  829.  
  830. ----------------------------------------------------------------------------38> 
  831. *** Yes
  832. A = int, 
  833. AA = list, 
  834. AB = list, 
  835. AC = list, 
  836. AD = cons, 
  837. AE = list, 
  838. AF = list, 
  839. AG = [], 
  840. AH = list, 
  841. AI = built_in, 
  842. AJ = built_in, 
  843. AK = @, 
  844. AL = @, 
  845. AM = disj, 
  846. B = int, 
  847. C = real, 
  848. D = real, 
  849. E = real, 
  850. F = real, 
  851. G = string, 
  852. H = string, 
  853. I = "232", 
  854. J = string, 
  855. K = int, 
  856. L = 1, 
  857. M = real, 
  858. N = real, 
  859. O = string, 
  860. P = int, 
  861. Q = real, 
  862. R = real, 
  863. S = real, 
  864. T = built_in, 
  865. U = built_in, 
  866. V = built_in, 
  867. W = built_in, 
  868. X = built_in, 
  869. Y = built_in, 
  870. Z = list.
  871.  
  872. ------------------------------------------------------------------------------39> 
  873. *** Yes
  874. A = int, 
  875. AA = list, 
  876. AB = list, 
  877. AC = list, 
  878. AD = cons, 
  879. AE = list, 
  880. AF = list, 
  881. AG = [], 
  882. AH = list, 
  883. AI = built_in, 
  884. AJ = built_in, 
  885. AK = @, 
  886. AL = @, 
  887. AM = disj, 
  888. AN = built_in, 
  889. B = int, 
  890. C = real, 
  891. D = real, 
  892. E = real, 
  893. F = real, 
  894. G = string, 
  895. H = string, 
  896. I = "232", 
  897. J = string, 
  898. K = int, 
  899. L = 1, 
  900. M = real, 
  901. N = real, 
  902. O = string, 
  903. P = int, 
  904. Q = real, 
  905. R = real, 
  906. S = real, 
  907. T = built_in, 
  908. U = built_in, 
  909. V = built_in, 
  910. W = built_in, 
  911. X = built_in, 
  912. Y = built_in, 
  913. Z = list.
  914.  
  915. --------------------------------------------------------------------------------40> 
  916. *** Yes
  917. A = int, 
  918. AA = list, 
  919. AB = list, 
  920. AC = list, 
  921. AD = cons, 
  922. AE = list, 
  923. AF = list, 
  924. AG = [], 
  925. AH = list, 
  926. AI = built_in, 
  927. AJ = built_in, 
  928. AK = @, 
  929. AL = @, 
  930. AM = disj, 
  931. AN = built_in, 
  932. AO = 12.2, 
  933. B = int, 
  934. C = real, 
  935. D = real, 
  936. E = real, 
  937. F = real, 
  938. G = string, 
  939. H = string, 
  940. I = "232", 
  941. J = string, 
  942. K = int, 
  943. L = 1, 
  944. M = real, 
  945. N = real, 
  946. O = string, 
  947. P = int, 
  948. Q = real, 
  949. R = real, 
  950. S = real, 
  951. T = built_in, 
  952. U = built_in, 
  953. V = built_in, 
  954. W = built_in, 
  955. X = built_in, 
  956. Y = built_in, 
  957. Z = list.
  958.  
  959. ----------------------------------------------------------------------------------41> 
  960. *** Yes
  961. A = int, 
  962. AA = list, 
  963. AB = list, 
  964. AC = list, 
  965. AD = cons, 
  966. AE = list, 
  967. AF = list, 
  968. AG = [], 
  969. AH = list, 
  970. AI = built_in, 
  971. AJ = built_in, 
  972. AK = @, 
  973. AL = @, 
  974. AM = disj, 
  975. AN = built_in, 
  976. AO = 12.2, 
  977. AP = real, 
  978. B = int, 
  979. C = real, 
  980. D = real, 
  981. E = real, 
  982. F = real, 
  983. G = string, 
  984. H = string, 
  985. I = "232", 
  986. J = string, 
  987. K = int, 
  988. L = 1, 
  989. M = real, 
  990. N = real, 
  991. O = string, 
  992. P = int, 
  993. Q = real, 
  994. R = real, 
  995. S = real, 
  996. T = built_in, 
  997. U = built_in, 
  998. V = built_in, 
  999. W = built_in, 
  1000. X = built_in, 
  1001. Y = built_in, 
  1002. Z = list.
  1003.  
  1004. ------------------------------------------------------------------------------------42> 
  1005. *** Yes
  1006. A = int, 
  1007. AA = list, 
  1008. AB = list, 
  1009. AC = list, 
  1010. AD = cons, 
  1011. AE = list, 
  1012. AF = list, 
  1013. AG = [], 
  1014. AH = list, 
  1015. AI = built_in, 
  1016. AJ = built_in, 
  1017. AK = @, 
  1018. AL = @, 
  1019. AM = disj, 
  1020. AN = built_in, 
  1021. AO = 12.2, 
  1022. AP = real, 
  1023. AQ = real, 
  1024. B = int, 
  1025. C = real, 
  1026. D = real, 
  1027. E = real, 
  1028. F = real, 
  1029. G = string, 
  1030. H = string, 
  1031. I = "232", 
  1032. J = string, 
  1033. K = int, 
  1034. L = 1, 
  1035. M = real, 
  1036. N = real, 
  1037. O = string, 
  1038. P = int, 
  1039. Q = real, 
  1040. R = real, 
  1041. S = real, 
  1042. T = built_in, 
  1043. U = built_in, 
  1044. V = built_in, 
  1045. W = built_in, 
  1046. X = built_in, 
  1047. Y = built_in, 
  1048. Z = list.
  1049.  
  1050. --------------------------------------------------------------------------------------43> 
  1051. *** Yes
  1052. A = int, 
  1053. AA = list, 
  1054. AB = list, 
  1055. AC = list, 
  1056. AD = cons, 
  1057. AE = list, 
  1058. AF = list, 
  1059. AG = [], 
  1060. AH = list, 
  1061. AI = built_in, 
  1062. AJ = built_in, 
  1063. AK = @, 
  1064. AL = @, 
  1065. AM = disj, 
  1066. AN = built_in, 
  1067. AO = 12.2, 
  1068. AP = real, 
  1069. AQ = real, 
  1070. AR = real, 
  1071. B = int, 
  1072. C = real, 
  1073. D = real, 
  1074. E = real, 
  1075. F = real, 
  1076. G = string, 
  1077. H = string, 
  1078. I = "232", 
  1079. J = string, 
  1080. K = int, 
  1081. L = 1, 
  1082. M = real, 
  1083. N = real, 
  1084. O = string, 
  1085. P = int, 
  1086. Q = real, 
  1087. R = real, 
  1088. S = real, 
  1089. T = built_in, 
  1090. U = built_in, 
  1091. V = built_in, 
  1092. W = built_in, 
  1093. X = built_in, 
  1094. Y = built_in, 
  1095. Z = list.
  1096.  
  1097. ----------------------------------------------------------------------------------------44> 
  1098.