Blocks.ConcreteVertex
The vertex module and the vertex table for the concrete graphs.
F : TBL_BUILDER
V : Sig.COMPARABLE
module V : sig ... end
module HM : sig ... end