| 单词 | prettyprinted |
| 释义 | > as lemmasˈprettyˌprinted ˈprettyˌprinted adj. ΚΠ 1975 H. F. Ledgard Programming Proverbs ii. 42 The gain in clarity of the prettyprinted versions is unquestionable. 2002 ACM Trans. Programming Lang. & Syst. 24 193 In all, our good-state invariant involved the definition of 32 functions and predicates, consuming a total of 565 lines of pretty-printed ACL2. < as lemmas |
| 随便看 |
英语词典包含1132095条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。