Hi,

> > Can you please compare glMLite with LablGL [1]?
>
> ... and glcaml [2] :)

I have never used glcaml.
When I have begin my binding, glcaml was not release yet, so that's why I 
begun my own.
What I can say as difference from reading the generated documentation is that 
each of the 3 openGL binding resolve the problem of the GLenum parameters 
(that often collide between several functions) in a different way.
GLCaml provides one big glenum type that contains all the parameters for all 
the functions (so it seems there is no type check at all), LablGL uses 
polymorphic variants, and glMLite packs the problematic types in modules.
So users have the choice :)

-- 
Regards