// SPDX-License-Identifier: Apache-2.0
//! Custom serde implementations for [`SymbolId`].
//!
//! [`SymbolId`] is serialized as its SCIP string (the output of
//! [`SymbolId::to_scip_string`]) and deserialized by parsing that string back
//! via [`SymbolId::from_scip_string`]. This keeps the wire format stable,
//! human-readable, and consistent with the SCIP identity contract: two symbol
//! strings are equal iff they name the same symbol.
use SymbolId;