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] ?