Warning: session_start(): open(/var/lib/php/sessions/sess_lblksgsv326alg8b2t37prbo9d, 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 {} abstract sclass Literal extends Exp { abstract S text(); } srecord Sentence(L tok) extends Literal { S text() { ret join(tok); } } srecord Sentence2(S text) extends Literal { S text() { ret text; } } srecord Eq(Exp left, Exp right) extends Exp {}