def to_z3(x):
    if x not in _to_z3_cache:
        _to_z3_cache[x] = _to_z3(x)
    return _to_z3_cache[x]
Writing to a binary stream is supported.
dataset/ETHPy150Open Microsoft/ivy/ivy/z3_utils.py/to_z3--crossover with--dataset/ETHPy150Open crossbario/txaio/test/test_logging.py/test_txlog_write_binary