Dot.VThe bigraph element vocabulary.
module K : sig ... endElement keys: the dot identifier of each element.
module C : sig ... endCSS classes.
Statement formats: complete statements, ready to concatenate.
The control ellipse: shape=ellipse, the graphviz id attribute, the explicit penwidth=1.0 (this dot build's default sentinel pushes the n/s anchors 0.42pt out, leaving a visible gap on links), and a width derived from the label length.