digraph G
{
  edge [fontname="FreeSans",fontsize="10",labelfontname="FreeSans",labelfontsize="10"];
  node [fontname="FreeSans",fontsize="10",shape=record];
  rankdir=LR;
  Node1 [label="TupletType::arity",height=0.2,width=0.4,color="black", fillcolor="grey75", style="filled" fontcolor="black"];
  Node1 -> Node2 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node2 [label="operator*",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigtype_8hh.html#ae27b8f369c45c9089ec6ddff11eec493"];
  Node1 -> Node3 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node3 [label="operator==",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigtype_8hh.html#af7f2d7227355b2ebc9364d1bbccf3a9f"];
  Node1 -> Node4 [dir=back,color="midnightblue",fontsize="10",style="solid",fontname="FreeSans"];
  Node4 [label="operator\|",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$sigtype_8hh.html#a4dca25836fa52b4e836eb6f08555d176"];
}