Method get_array_range_rec

src/ast/array_decl_plugin.h:311–316

    }

    sort* get_array_range_rec(sort* s) {
        while (is_array(s)) {
            s = get_array_range(s);
        }
        return s;
    }

};