If you use the fact that the vertices are implicit in the map, isn't this equivalent to
```ocaml
let v = { d = Char_map.empty;  f = Char_map.empty;  pred = Char_map.empty;
          color= Char_map.map (fun _ -> White) e}
```