C (bigraph.Bigraph.Dot.V.C)

val control : name:string -> label:string -> string

control control-<name>, plus control-<label> when the control carries parameters (label is the full parameterised label; the two coincide for a parameterless control). Runs of characters outside A-Za-z0-9_- are collapsed to '-' (sanitise).

val region : string

val site : string

val name : char -> string

name 'i' is name inner; name 'o' is name outer.

val hub : string

A named hyperedge: the small filled green box.

val anchor : string

A nameless hyperedge: an invisible anchor, no ink.

val closure : string

A 1-port closure: the thin green bar, the closure symbol --|.

val place : string

Place-forest edges.

val link : string

Link-graph edges.