Warning: session_start(): open(/var/lib/php/sessions/sess_1mud33iqk23q8soai38dbfn849, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51

Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
sclass Tree { A a; L> children; *() {} *(A *a) {} *(A *a, Iterable> children) { this.children = cloneList(children); } toString { new LS out; toString(out, 0); ret lines(out); } void toString(LS out, int indent) { out.add(spaces(indent) + str(a)); for (Tree t : unnull(children)) t.toString(out, indent+2); } A value() { ret a; } // overridable L> children() { ret children; } }