//! FFI bindings for symbolic convergence operations.
//!
//! This module provides foreign function interface (FFI) bindings for symbolic
//! convergence-related operations, allowing them to be called from other
//! languages. It includes APIs for bincode serialization, handle-based
//! operations, and JSON serialization.
/// Bincode-based FFI bindings for symbolic convergence operations.
/// Handle-based FFI bindings exposing opaque convergence-related `Expr` handles.
/// JSON-based FFI bindings for symbolic convergence operations.