File "pr3918c.ml", line 24, characters 11-12:
24 | let f x = (x : 'a vlist :> 'b vlist)
                ^
Error: The value x has type 'b Pr3918b.vlist
       but an expression was expected of type 'b Pr3918b.vlist