digraph G
{
  edge [fontname="Helvetica",fontsize="10",labelfontname="Helvetica",labelfontsize="10"];
  node [fontname="Helvetica",fontsize="10",shape=record];
  rankdir=LR;
  Node1 [label="ASTRef",height=0.2,width=0.4,color="black", fillcolor="white", style="filled",URL="$structASTRef.html"];
}