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