Function z3_sys::Z3_qe_model_project_skolem

pub unsafe extern "C" fn Z3_qe_model_project_skolem(
    c: Z3_context, 
    m: Z3_model, 
    num_bounds: c_uint, 
    bound: *const Z3_app, 
    body: Z3_ast, 
    map: Z3_ast_map
) -> Z3_ast

Project variables given a model