| changeset 66415 | 96ad7d5ff613 |
| parent 64370 | 865b39487b5d |
| child 71601 | 97ccf48c2f0c |
| 66414:a8939d090014 | 66415:96ad7d5ff613 |
|---|---|
20 val make = Counter.make() |
20 val make = Counter.make() |
21 |
21 |
22 def apply(id: Generic): String = Value.Long.apply(id) |
22 def apply(id: Generic): String = Value.Long.apply(id) |
23 def unapply(s: String): Option[Generic] = Value.Long.unapply(s) |
23 def unapply(s: String): Option[Generic] = Value.Long.unapply(s) |
24 } |
24 } |
25 |