Warning: session_start(): open(/var/lib/php/sessions/sess_65krs7o9h3hil2bdvpgaelf1to, 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
srecord IfThen(Exp in, Exp out) {} sclass Exp {} srecord Func(S name, Exp arg) extends Exp {} srecord And(Exp a, Exp b) extends Exp {} srecord Sentence(L tok) extends Exp { S text() { ret join(tok); } } srecord Sentence2(S text) extends Exp { S text() { ret text; } } srecord Eq(Exp left, Exp right) extends Exp {}