Function z3_sys::Z3_parse_smtlib_file
[−]
[src]
pub unsafe extern "C" fn Z3_parse_smtlib_file(
c: Z3_context,
file_name: Z3_string,
num_sorts: c_uint,
sort_names: *const Z3_symbol,
sorts: *const Z3_sort,
num_decls: c_uint,
decl_names: *const Z3_symbol,
decls: *const Z3_func_decl
)