digraph {
rankdir=LR
node [shape=record, style=rounded, fontname="Sans Bold"]
edge [fontname="Sans"]
subgraph cluster_G {
label=<G<X = f64><FONT FACE="Mono"><BR/><BR/>
x   : X,<BR ALIGN="LEFT"/>
rx  : std::sync::mpsc::Receiver<X> = std::sync::mpsc::channel().1,<BR ALIGN="LEFT"/>
foo : u64<BR ALIGN="LEFT"/>@ g<BR ALIGN="CENTER"/>
</FONT><BR/>>
shape=record
style=rounded
fontname="Sans Bold Italic"
INITIAL [label="", shape=circle, width=0.2, style=filled, fillcolor=black]
S [label=<<B>S</B>>]
T [label=<<B>T</B>|<FONT FACE="Mono"><BR/>
t : u64 = *foo<BR ALIGN="LEFT"/></FONT>>]
INITIAL -> S
"S" -> "T" [label=<<FONT FACE="Sans Italic">A</FONT>>]
}
}