module V: sig .. end
sig
end
type label = int
int
type t = int
val create : 'a -> 'a
'a -> 'a
val label : 'a -> 'a