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 {} srecord Sentence(L tok) extends Exp {} srecord Eq(Exp left, Exp right) extends Exp {}