| changeset 73889 | 5ec68c1a07d8 |
| parent 73710 | 241cfa881788 |
| child 73910 | c678e58cf999 |
| 73888:9c2dd041477b | 73889:5ec68c1a07d8 |
|---|---|
19 val commas = Library.commas _ |
19 val commas = Library.commas _ |
20 val commas_quote = Library.commas_quote _ |
20 val commas_quote = Library.commas_quote _ |
21 val proper_string = Library.proper_string _ |
21 val proper_string = Library.proper_string _ |
22 def proper_list[A](list: List[A]): Option[List[A]] = Library.proper_list(list) |
22 def proper_list[A](list: List[A]): Option[List[A]] = Library.proper_list(list) |
23 } |
23 } |
24 |