6 lines
121 B
Text
6 lines
121 B
Text
|
class JSON:
|
||
|
|
...
|
||
|
|
def asText: case self of:
|
||
|
|
JSONString t: t
|
||
|
|
other: throw "JSON.asText: not a text"
|