From: Olivier Andrieu <andrieu@ijm.jussieu.fr>

> did you mean :
> 
>  type put = {put: 'a. 'a -> unit} ;;
> 
> or is the explicit polymorphic parameter not required anymore (like

Thank you for the correction. I forgot the explicit quantifier, which
is required.

Jacques Garrigue