On 5/13/07, Nicolas Pouillard <nicolas.pouillard@gmail.com> wrote:

> I've a tiny patch to do that:
>
> 2 ``List.mem`` [1;2;3]
>
> I think that extension harmless, any thoughts?


 What about: 2 ´List.mem´ [1;2;3] ?