(self, current, tokens)
return SmtLibCommand(current, elements)
(echo <string>)
(echo <string>)
( echo <string > )
def _cmd_echo(self, current, tokens):
        """(echo <string>)"""
        elements = self.parse_atoms(tokens, current, 1)
        return SmtLibCommand(current, elements)
def _cmd_echo ( self , current , tokens ) : elements = self . parse_atoms ( tokens , current , 1 ) return SmtLibCommand ( current , elements )