Function z3_sys::Z3_mk_array_default [−][src]
pub unsafe extern "C" fn Z3_mk_array_default(
c: Z3_context,
array: Z3_ast
) -> Z3_ast
Expand description
Access the array default value. Produces the default range value, for arrays that can be represented as finite maps with a default range value.
c
: logical context.array
: array value whose default range value is accessed.