let
fold s f x =
let
y = v s x
in
V
.fold (v_of s) f y