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