Blocks.ConcreteVertex
F : TBL_BUILDER
V : Sig.COMPARABLE
module V : sig ... end
module HM : sig ... end