Module Nier_cfg.MakeVertexSource

Parameters

module I : VInput

Signature

include Graph.Sig.VERTEX with type t = (I.l, I.r) Node.t
Sourcetype t = (I.l, I.r) Node.t
include Graph.Sig.COMPARABLE with type t := t
Sourceval compare : t -> t -> int
Sourceval hash : t -> int
Sourceval equal : t -> t -> bool

Vertices are labeled.

Sourcetype label
Sourceval create : label -> t
Sourceval label : t -> label