[ocaml-ctypes] Abstract 'a typ

[Thomas Braibant]

On Mon, Mar 9, 2015 at 10:37 PM, Daniel Bünzli
<daniel.buenzli at erratique.ch> wrote:
> If your bindings are thin you should just use an OCaml abstract type that denotes pointers to void pointers. The only place where you need to be careful is in the bindings themselves but that should be trivial.
>
> For example in tsdl:
>
> https://github.com/dbuenzli/tsdl/blob/bc18d14b1a28af99ebc30b61e303ee5304055d31/src/tsdl.mli#L727
> https://github.com/dbuenzli/tsdl/blob/bc18d14b1a28af99ebc30b61e303ee5304055d31/src/tsdl.ml#L1093-L1095
>

Thanks. This is what I had in mind with void pointers. I will go
forward with that solution. (And refrain myself from trying to be
pedantic inside these particular bindings.)

Best,
Thomas