Fixup: ws_array_has() interface def