let
rec
memq_aux i x ra =
i <= ra.vlix
&&
(unsafe_get ra i == x
||
memq_aux (i + 1) x ra)