digraph structs { node [shape=record]; x [label="<a> A | <b> B"]; y [label="<a> A | <b> B"]; x:a -> y:a; x:b -> y:b; }