//! JSON-based FFI API for symbolic simplify_dag functions.
use c_char;
use cratefrom_json_string;
use crateto_json_string;
use crateExpr;
use cratesimplify_dag;
/// Simplifies an expression using the DAG-based simplifier (JSON input/output).
pub extern "C"