Module Blocks.ConcreteVertex

The vertex module and the vertex table for the concrete graphs.

Parameters

module F : TBL_BUILDER
module V : Sig.COMPARABLE

Signature

module V : sig ... end
module HM : sig ... end