top/blinktree2.tex

   1 \documentclass[tikz]{standalone}
   2 \usepackage{stmaryrd}
   3 \usetikzlibrary{arrows.meta,shapes.symbols,matrix,positioning}
   4 \begin{document}
   5 \begin{tikzpicture}[node distance=1em]
   6         \node (s2) {\verb#>>=. \x->#};
   7         \node (wd) [left=of s2.north,yshift=-3em] {\verb#writeD D3 st#};
   8         \node (rec) [right=of s2.north,yshift=-3em,fill=gray!15,label={[xshift=1em,label distance=-5pt]above:{\tiny interpreter}}] {\verb#blink (Not x)#};
   9         \draw (s2.south) -- (wd.north);
  10         \draw (s2.south) -- ([xshift=-1.5em]rec.north);
  11 %       \draw [->,dashed] ([xshift=-1.5em]rec.north) to [out=25,in=25] (s1.east);
  12 \end{tikzpicture}
  13 \end{document}