Warning: session_start(): open(/var/lib/php/sessions/sess_7dr0hsa2fnuqdntdjb6h33nskc, 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
static LS ai_addDollarSignToCertainTokens(LS tok, final Set set) { ret map(tok, func(S t) -> S { contains(set, t) ? "$" + t : t }); } // modifies & denaturalizes the tokens (breaks connection with full text) ifclass TokenAndRange static L ai_addDollarSignToCertainTokens(L tokens, final Set set) { for (TokenAndRange t : tokens) if (contains(set, t.token)) t.token = "$" + t.token; ret tokens; } endif