Function Z3_mk_array_default 

pub unsafe extern "C" fn Z3_mk_array_default(
    c: Z3_context,
    array: Z3_ast,
) -> Option<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.