[−][src]Function z3_sys::Z3_solver_import_model_converter
pub unsafe extern "C" fn Z3_solver_import_model_converter(
ctx: Z3_context,
src: Z3_solver,
dst: Z3_solver
)
Ad-hoc method for importing model conversion from solver.