type 'a vlist = ('a * 'b) Pr3918a.voption as 'b