(self, current, tokens)
return SmtLibCommand(current, [v])
(declare-const <symbol> <sort>)
(declare-const <symbol> <sort>)
( declare - const <symbol > <sort > )
def _cmd_declare_const(self, current, tokens):
        """(declare-const <symbol> <sort>)"""
        var = self.parse_atom(tokens, current)
        typename = self.parse_type(tokens, current)
        self.consume_closing(tokens, current)
        v = self._get_var(var, typename)
        self.cache.bind(var, v)
        return SmtLibCommand(current, [v])
def _cmd_declare_const ( self , current , tokens ) : var = self . parse_atom ( tokens , current ) typename = self . parse_type ( tokens , current ) self . consume_closing ( tokens , current ) v = self . _get_var ( var , typename ) self . cache . bind ( var , v ) return SmtLibCommand ( current , [ v ] )