JSON: module
{
	PATH:	con "/dis/lib/json.dis";

	JValue: adt {
		pick{
		Object =>
			mem: cyclic list of (string, ref JValue);
		Array =>
			a: cyclic array of ref JValue;
		String =>
			s: string;
		Int =>
			value:	big;	# could use IPint?	# just use Number (as string)
		Real =>
			value:	real;
		True or False or Null =>
		}

		isarray:	fn(o: self ref JValue): int;
		isfalse:	fn(o: self ref JValue): int;
		isint:		fn(o: self ref JValue): int;
		isnull:	fn(o: self ref JValue): int;
		isnumber: fn(o: self ref JValue): int;
		isobject:	fn(o: self ref JValue): int;
		isreal:	fn(o: self ref JValue): int;
		isstring:	fn(o: self ref JValue): int;
		istrue:	fn(o: self ref JValue): int;
		copy:	fn(o: self ref JValue): ref JValue;
		eq:	fn(a: self ref JValue, b: ref JValue): int;
		get:	fn(a: self ref JValue, n: string): ref JValue;
		set:	fn(a: self ref JValue, mem: string, value: ref JValue);
		text:	fn(a: self ref JValue): string;
	};

	init:	fn(bufio: Bufio);
	readjson:	fn(buf: ref Bufio->Iobuf): (ref JValue, string);
	writejson:	fn(buf: ref Bufio->Iobuf, val: ref JValue): int;

	# shorthand?
	jvarray:	fn(a: array of ref JValue): ref JValue.Array;
	jvbig:	fn(b: big): ref JValue.Int;
	jvfalse:	fn(): ref JValue.False;
	jvint:		fn(i: int): ref JValue.Int;
	jvnull:	fn(): ref JValue.Null;
	jvobject:	fn(m: list of (string, ref JValue)): ref JValue.Object;
	jvreal:	fn(r: real): ref JValue.Real;
	jvstring:	fn(s: string): ref JValue.String;
	jvtrue:	fn(): ref JValue.True;
};