Function z3_sys::Z3_mk_array_default

pub unsafe extern "C" fn Z3_mk_array_default(
    c: Z3_context, 
    array: Z3_ast
) -> Z3_ast

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.