(self, current, tokens)
return SmtLibCommand(current, keyword)
(get-info <info_flag>)
(get-info <info_flag>)
( get - info <info_flag > )
def _cmd_get_info(self, current, tokens):
        """(get-info <info_flag>)"""
        keyword = self.parse_atoms(tokens, current, 1)
        return SmtLibCommand(current, keyword)
def _cmd_get_info ( self , current , tokens ) : keyword = self . parse_atoms ( tokens , current , 1 ) return SmtLibCommand ( current , keyword )