From 2d817cc998f391dc67a8aa64bf18f44c807e2988 Mon Sep 17 00:00:00 2001
From: Humza Shahid <humzasaur@gmail.com>
Date: Fri, 20 Sep 2024 10:17:57 +0100
Subject: [PATCH] adjust app type by adding arrowX and arrowY integer fields,
 and subsequent refactoring, as preparation for being able to draw with arrow
 keys

---
 dotscape                           | Bin 1048952 -> 1048952 bytes
 functional-core/app/app-init.sml   |   2 +
 functional-core/app/app-type.sml   |   9 +++-
 functional-core/app/app-update.sml |  12 +++--
 functional-core/app/app-with.sml   |  69 +++++++++++++++++++++++------
 5 files changed, 69 insertions(+), 23 deletions(-)

diff --git a/dotscape b/dotscape
index 43a368b5b390a5bdaf089b15ced7ec80b19f2286..b2b71b4d210ee50935c4d6037ce025a6c2ee021b 100755
GIT binary patch
delta 12074
zcmb7J0eqCjmH+0=CS(H%VSywBNOm`22?0Y07(%dNi55bD7(z-hDr|xxQcDqgl%^U&
zq)4%a1d+!fg-xI|21}7vK8Pm->`_lW#ONWS;wDf^spSBBT!I$wKi~K5vh3O4U6<c7
zJOBU8n>TOXym>R}uJ?A=d-uIh1Ah5!?|rm<|My>M(?9y*%;j<S+-3XA(-%p<NMdzN
zbp5MbUcXph)>|Br;toBxueevBtWOZRf_!;=pr0sI<#n^v^Bh8tL4(UFVmKOd;t<h6
zRe5}Ah<F6m@}c4*u-U0%x)M{9CcaSRa+esZ%2v17D3!QEkN7j{S;Iw5G@WzmyYCRa
zqtXAsIFZF4j};%9zrTkzo;$@CN;UTcu|th`W+Iw=Rv`Xj{{8`|^1H+{gz`+Gn53Gd
zc*V1*?)HjuK|7=P#$>UV{P}uok*F8=!P)nSO7czMb@zx<szLQP#S)Zy$2UbaQ6Qi5
zip4xdY%UhhKw#=Lk*D}M(?oqNJv353Gh5UO^`r7zqE$pK7+KfxG=DN%r0b);Efy(;
z!KCWHohxjTsz>T=_X|%nRgKiUs>EU&`9|uc3&or$S};=I{T;C<fxaZ3{iN70TpazB
zm@U${@+t946jUp86m7NQRVcE2C5kjXw@z#p<jmkVSBV|5Ub^a>V5^vP59v?Ti$+16
z*?RP9F-i6+rmIKCQU$mFyBMM`dPa;9qL{a?71I?X(t}LQPsE)h=5pb)VvlfgHj5<J
z5P7wI3RO&U%Bx3<sA7TU?U{`4=aO3gOKPp|5$yh{D4OD<x(+{SJ-!rgk4vlT5SrE#
zkONvLHfft&6YDyfVzr(sa82=AkKdv7G#%3#ow4YXh<dfw=ubi4SZ@8P81I}5ozkd6
z!!Z6_z~j*@TkF}Gho)Vkv6;os#63`R%Fo0LcRK4jFvsquXsu_L8l!H0x9iKv?@fZ<
z-b_pHVV2%DZ_jz?>>0s{>qRd4J$lJ{Q3(GYs;}E19B_$v-rgWm`nhuJIy#lKXm3v^
zH16boYY^V__r+E3-Bgi=GIIpVw^7fdiefK*|4v+O9|=SHPl<eY`#h=;K}|57$qUTs
z1hTZA3q_(a;O4^9A}ikQsOunDD%z&?R6F=^qez2OpKTP`@frDb9X6-d6O)07<?#9s
z#8j@@C>GgA(bd2r44A_m8^uOPAk{RyS6K@x``x_!Ie4kd!F!(*&sobj6y~U_H_ajH
zZY`r)!eJxy<(q^~VNJb0%W@A|O_RMnW>ZE}kG_^gvY?0W;N~r&6s3M`3+$NaO2<OO
z3H(?LwWvN!*XiIXTSbA|MD<&-tFZkpY!xJ^E1xgDfZbI!K`+^+0PM%opNmV>oX-W@
z&26`JyVy=X2N&!RKY(HO?-1irT-qV7(L;CeS--eW&Y^s&NxUPHd3UoYQJeExvxqge
z`^}xkrd_j3tPxH<?iXS-QB$^F_)F1Oh-fZt5u*q8x}|YD+*4W57sDG{M7rq32U-x^
zV)(2odU5oNSe+R5yeR6)m%yzr3b&foi5H=3QwC?Z3Qss*(+a%Pz!M#v7)Nah!a|cz
zYwV0++Jp9;Nu0Guq*BvhF4-fp$z|7T_8=CKe>BJHqKMnKi5Pv`UXh?w=e_$xxf+vR
zHY~{tUlwar{qoD=fU@82{bG(X!Oi`mO{lrH{TAy(z7a~;y(&P|{TM5Y0I@(9Q9+R@
zy!w#HS8@&?3dzmmxox6Mfvs)gK&&6`=#Qpur<3>Y7ume!RpC@4wY_SN#2BeWZ+}fZ
zX{>DF5gZqRv0QruuIL=i2ado6d;|H~5$FS%MeU+S#n;2_Vxbb_IVz?iCh1F#i6tW5
zJ*cju8GfWTb=464((7U?(ZhXt&2j8ncPh6XM;s4i>x+LccGzeD>Al~E-`L^f{$UzI
zm45St=n(w^V{Q)|=eYBv$QguYTC{2=uljmv6#^S4AZ@K(nVj{mcvVRWkXA9@$(P?1
zryLIr!#>2y39MXH3_?LBpXv~;eY!HSb#0=%8o`d+U!r6#TP|(f@}3x|MEHau;`n=_
z)lm%*YL_b!Hd93Hd6B4Zd0#Y%*pJ24K&n=e77%>*DbYMoMZY}Fh<^V_xNzSJ7a2yl
zctJ^Wjs8a^#bpc$lf*w$aVPmhoEQ)2B_E3ZLP?!maZBn&Go0P{2;t0$aOT8BGci%@
z+SW5hID7L9Hi|EYFP{;m@$R&`4tJ*3Ga^UpX?Al7y3sHP-~3p3c-u!}njyaA9~K`N
zt;9pb$09Sn86olO$2bu00~hch3gdu8s66(G@I+$QzXr=XD~1nLjswpy97mce!W$Nz
z6_eD8JF|=x-+Na4dDv&-s;@WJ6lHNAl;^R=F<M1B4j`A|ZUb90oP79G>}J1*9RcyW
zApu^Q=H#;hQ7O*zYoChY?CTVL=v*c*>9huc!>)Ad2RhNj@i6=<>VNr_M=w4nGX5UB
zJT%*jrUmE^q96j(Oa6d}8Ru8qM@4f)^7H)31@S$xi)a2(+;xX?QRqsTN|Re_49J14
z=av6qJ2Yd<22VBR?^O;y@JG>XjG%-ysk7d#FT5yfNp1WKmqel&tp9ALUQ0d`iw)q+
zUl8n_y5q9=wGdhQvHui@jUM&afQx9o?Q`)uxf+n3z+K+Zur6!ydz!f}_wUd)z5mr$
zNs~6|+pminB~VZ47GH@G=-|Y5vtxfw+Jt?I-=x)*BMKbSusj=ou5Ef(bzG|#-GD}_
z<NhykzNnGZ8U{xSU?nsdpb{M}m?Jgc6p1!;;5MQ^s$h$(#R#^0Bz;pVN!OxjKhnSq
zeRnKvx8+s!HBTQGVu*@$O*nlzVa(5QDm!6NXCLe%^7c3rU{thm55Revqu2DMDbjJi
zcU{LWwLIw9tPcJ>UOZf8>0dgiPEwacuT7*Zg!njaO(vW~9*!MEr6~2vL6mJwY~5hm
ztbVXNm5x)u!<SNNp(@MMs2rufJB{*?#E#L=Iw_UZkDG3KL5h5RtB0bEDK(EEEFh$|
zWzia;Iv0(i<*IYrC_+kwaZlVqt%|70rg}x(%%)b6(iLS!#WZ+H7mi-SWXZ2JKJ3wt
z<<K!wGS`fy9}s;;{MDUwl)5~8ERVXBs5AML!tLW}i>g%SQ>_KwP~)ANK+DuPB?Yuq
zsvj4=K^tS#kD4i%pAy_vOzDIiIC?t$9>t02umV!yriVCoI;H3hGiXbcTCl8g$}^@}
z{ViHzcu~h3sx^@EN;(1KW$Eq*>83%s=hK_UkIOznRtZhAtLcWaZ`J~s1ZDFAx}eH+
z55e%z{A>-4;OP(3;|e_dFhGnsXQ47AfU}R#eg$k?L~D#8Qy!yq;kbx2KMIioWw9y)
zq~H5p8fL8M^6!yOszm_)ZL~nZLJOX>j208hJ<BMUaO?YY8C^1t&bNL*{gjcEE^}0w
z_apj9M6=^bc#khyFMJZlBxk(7zm}Fr;bvDo^;ce%S5L-WXh}UiEkqt)dm56f<JhyB
zrlbF|)l^7L1N8l?>4_-No^@0}&i;D!IvOlQf3AI&2KRH}oQLaHXM1~^k!HKcaO<;>
z>hI58&r$()|InXOFQVpb_N=F!kox9&8Xlgr`3gfhTl5APrx#~!pusa^%!9vOYWp;A
zOryF*`0EjP)C~fen7;sftq|WL>?hTBiq><ah$aLSR|*V!&0mgfb&OP|ws8X)nOfTh
zN>Q2GsSTK^%g(V4Sk=z{dVK@ob~})3H=0x0i7CkhZ_iFlDIHVVh)v|?&W)5rU2%M4
zBjt)}{f_5gheVeRc_FSZRm;3RlQiv+Z#guy@w`nK!5PgPH(|#vuyfZYTH|Q4-ySVG
z$8*i|lr5V0#pme}<uH!TR6<p~dERE4LjG9Zy_s<GCh(h^F@bZj`nAneqpYbf`Dcnn
zS~!7gULYfZq-``Mu`0n-=4kz_Zlz3negE!&O`o?7`#80eEKT!FO{-LypiS^qB1R?g
z`k!MuN!<E#LS{x>xt(_3>QZBMQKjlq3lmFD-2rp%lt}I=C8b)z6>tZvTH}TJu{3Vc
zShY@tLte6jo)A&owS!K10*H!!HDa^6hMGCG$~tgH8JK?|N(XKR@P#a$nkXJ2X&^hA
zi6Nr38Fq0d^0j7chRy*zZ>L(&fqKnOn41Fe`rcnqG^IFkuBx-j=YVq|y85zEVofp4
z6ThTt5zxo9&^eV~b7Cu9C*LSNeh)1W>T2e%kE)oI!!<9_V3h?p*P@Ct<|inT1!zBx
zsvw)U$4oj0wx&Dz#Dmhq0VI$r6}a&dy@z|)iC<BYab;VFZpc#w#1v`Xo+^)d56c+A
zbKWD5p1GIi3Wo~@Xo9{~Fp4@xaOQ6OwPAn*zots57Tob0dR5)|PyE)1cbi|qZYtIb
z4$yq*_&(B_-^hwdC|h1a`IzKAhbT9$ovwOyS+S^1R-_%|ONS61d_%dYjTR)LY5Sv4
z4dojPQ9g#t_M#~M^&uL@fi^lw{;~SjS7{{0?ZOdTYpYnh3hxrzxZ^dbb*Fy)HTt$d
zS$c$4N+iN3juD=P5}AHS|B2$-?`XClp7O7hc4s1%0&d|ezxAx(himxe;CVrDZbXkc
zSRSdJ)Y^wPdf_^O3B2`RaUwViIORAkAzuNnQ>DLvZycwM6d1|te@~amIf`rFz`5ri
zsZaSg8cSjv*Stk-bUuyq-X=Z14)f2Bs>mFP39cahi??Z(AQ!YgLGy51#r^sn<vyeM
zO;!5(@r8FN)!oz&i;;>&n1{uHc76|>9hg50F{WBf2=wE<f2Ab;#z{&ThGf`}IOK0e
zGFpULA|LRV!1)n_{6vi^1|hS(@mI>yx1FRBhKB`)LZ2Ky@viA%zI0UKVVM~y;bA`K
z|MIZ-4!Ad*tEhuM4R@|A^ni1@GA-vS33sj|_POv2HP!>1`aa!1Fb5Ano28NS4AH!=
z4Yhe+^Nr>8@6)6~<DfQTU5f*1AJZCr2(!*4V2QkUicDqOf8d;M%H-|;f%Cs}IJ-}w
zM1A)uT2Ixvoc96pk>*@p_yNM0P4YV*(0x=joJ&8XR4zVEK581ruzC_7Jx$LVl@GB_
z0AtV4BmClNO5jyzh^cv;p7Iez3mTEc?vIheRAut=kFoW0IQ|nVbolW;p*Hr5*d#63
z(9R^D_X*tEmB|M_!QtDKsh6Im^^&UM`D`b73Yu`qQ%PA>H5L;ybd5z_%`y>-mFw-1
z1F)5ok-Nlr5BZc8;Ho>Z_z+y!MQ7AxQ_dlD`yt1OD3D`Bl(D@39F31tT_9>Fx;c~d
z>*vUgtOI@iMAhUP!nJ>*BzWcKKhYoYE~u}(M3Zq8C-Je*s9DKg_!l}rSxI{8Wkexm
zQD~o{=Uk<ak+iuv{&V^bWk`Pgb9%hMuY3!0_toCoN$P=a>Qrr0)o5#);M6qL1D&yu
z^(g!BlE1>QJNuxG^6UCre(eJm^lN9F@@tRBujUly)6TE)X<v>GpPntIAz*6RhzvP+
zm>6TL5QvObxmu5=!K}gOGx&DhShPX8XdFuA<2kmkiK1!z%5@yEaP$+`>76h~_vN7*
z9K91_j3|nuOTA`UQIxy?n_S9HgS+W0-d1mP(_!*Y;I<xGh!n(igI+MQy2D@4-C{^I
z4jtTcj;z<Z{|SCBoLXa5fjXzO)-E3UH_E|#P3hn0xX~r?D=NbKY{K)EG8YH*^Xp~x
zplY15>c&Ls*q>saj6Q67Kih>IE&@D8$h%SelaM<pkglhY+%M=4n3a_C=v<bbZIgJt
zZXUt=qvU8&pm#;d*#c!=FL}a7ow*#{N8Y3h<2X7_?j`4NJ`g8M#2;A1OP{z?ua1|!
zZJ6c~hdf5k37p$sc9C<Wo;X1MUOk$h9cbWsbE4cU=of>zJXvnQVbPT=*W+DksJ?8l
ztiE;qPzR3j?wF@vNR_>e<WoJXsN{34Dv_Rk<&?h?ls<s>x@9>n7{HW{5(&$kba_f;
zxY-#pk^bI|hU+}?^w*HOy6zZx@#ZW!iA1!1YLr|+v_k3=N6X1J+Lfc%j+OB?%E-~z
zkC$nrLYi|8?qm<>2PVkfc=#R5^Cn8<x$(SiqAVhRI-i&bRj|h{Oq9D5eevd|IUK9K
zb|hYVtr@ph*H~`8OIE73H}5jq>WSZwB;uQr&3r_?@pTT-J%zFvYoEk#PLj>>ogmd2
zt#-eE2-kRJ8+8uV^CrtgNf~{)^d6a*;=&`Fz%{4}p+zK^cRm_`^8gdMM|MHlSgxKT
z#|~6`3}LB7?bYUBz~$B{@-R93@ZzbMQUGyds?`+Rw#AL6ML0O&vj{b3r^3fXj_#f&
z>s3h6cTbloQCTX*ROx6nG9Gm)os8qumyJURcsmC4AyHS)nEvs6sZ8bxzwVkP(?p63
zcTurg>#jmNZe$?qQKEel{(MmmyEgUa?d39eP$16?4!%S$w1FHP<tq91>whYj-!pD7
zmEV#z>JqJ=x=$7fM*wN3imFEnv_nU(X%n2|IqQCz?GC6!5c|%MfN*0Zfl6YRDG^EF
z-tWjnZn$5@Arstwztn~C@`oFfiUnT0UkJ_Hqjn-*{+2u_=ZSOt?+?nm)Ju$p=N&u%
zI_Aj>w><#L7%Xk39y?$5mFnGbaJ78V@WA5_%h!eSyk{Sg6V$5f#}~;p^mXdb`_BJc
z{o#1*KJ^`0Yl^`t9w~wq970)P;bTEDD%fIWl|2nBD0`~p0Wk$uIPjQ6D$Hjd3yMK(
zKavG8`we3*{%%kV;;z5TydxQ6lyRFO7UChM?Yl~he)hZaM>bkb`u)pfn^Xq%+f0K7
zVAwE&W-pg>V9>Y@O6Qj4(s&bf;`wC0Q$N03t`lElR)$$Uymp0r5a;!U6>_oi<?<iO
ztgQ3!_g!#;UD$rRV1}J;t!DwSogTPY7QXekEX>34oW#3-DE}MXx7WbGbM&qn`Rf0%
z?CJdBlX9ZD_D;U@DLKS=iZdOc@+o=g?`S$)f2vkKpdO;mtV9$br%S)KO5$|^u3NcU
z8jo7~vLDM<g>dRxd70cEJ^m+hakQFO%?6oGzI45H1NN%n?v03H(Z#sA_tkjP0UD%_
z+aw<q$cOYD&&y9RKwrIfi>x(X25$Z{Vll+7-wG$&8TCx!3ld)&zUp^0zP<Fs7h>l8
zir+4_J9x=7dmlbqY)@q0G<z~HosMdEi9Mb#DXe9h-HGQgO%wR1@zI&~B!0WZ9>aZ9
zH)jcYBuuy4__OKuSY9#%-5N^l_b4`ob9%)`@vo-a)45@qJ%N8(iXQJzx4XHt)E<xf
z`s8x^K$#4wS4->zxu67$ce;HD*G;z%;43pA_2Y7gIav&;&@xu(mcY(ZU}zW57s~P9
zl@j|XQ{SL~WRqQA2KCV{LFwCv$IY<khjn{$hTX{ri|rYlGYtd1Gy_6cC@uFD<JSx*
z$R$er+8Jt^(}5+F+EbL~(fq~?`y!=A24B3_K94JB*$eq!N@0ndnV7<xGtuqsGE|+j
z?8WLo1M9<wXWDU>E43FWDJiOPhLX}p%{PYYX4-Q(brza{z>u?)YBMou%)?_gX;&uq
zm%>6z@5L`)8Q9p__;qszrV9NMLVb;H@$4@L`=uHPq73~qxNMfGno%_dGX68Fv1-yO
zTsO-;h0mzIC(6<Il5z=5E5%gTdoNgHskbTpZkA($Wn~x~bIaGAv+e%hiTTe>Ms_-%
zkLJcEiMRM_Qf$(ox8OzUQ*9R7!5h<zUvIH1IgGBd=$J2p^sI1tnMId{=vCo#iA6Vr
z=$FIkr!4wpi0%xhAF=3!FN0(E8x*G6B8&Eg=*i*qeHPskq8|^ZYb^Roh;9m}<1ISp
zZ^5zO4W}Qs=%pcAq=c!4tC#UP7^267)A%Em`MDVsUKLK`4+X}@8=@P->46qq7ov}b
z)7Zksr#(bp4W}zDTKg(Ewrg;h<{1|44bij0>4g@(Hbk!qr;{xDWQcw_oc@MICupW)
zyv3d2H2&~re9A&}zae3&4YTNm5Is4Z?qks>L-ga}^aB>1AcA8zh0}OMGd^=e^t<7-
z$D+4{XfZTQwE-4=Iz*2Nr{`L9G6l!33a1BI^xP2L7*5X*jvb<phSTaeP@h1Ez8X$X
zHCfFmgJZi=!!*C&q8EkeS>bf5MehsItHNn%(N{wB%i(mPMd#RpV|Rwry)1fZi0+pb
zrdsdd*dcl{=#`&ZaB-R`G&uhto@3!Ys|@1FR((YTu37bl2>fEIDZk}*e5H2MBHC{!
zw1XCYIs*4w_>~BJt%b)p&4Gf7F12uH1U}cmS87^*1mU$hltti~7QQF~Pq6U12)ui!
zsmPWHJYeDb6prz=pr&tF#2XPE_E~r!0^efc-4S@5g(tXfx5Od~&kV!W_*$7oc*6*V
z=Ue#P2;6DmOC#_Y3tt<7Um0R5;*Y>j4=FLm*A7My?N*1A5qOJ*UyQ&TEL?NnKI0V@
zo*aSuEIh}(^7anJ7Ev70A;-df5qPqNuZX}k3vY<PFAg@xYYF1!{59>QMYIPAWq*7Q
zTKMS*+;8DmBJi~q9+Q6i#FkpPGXh^Z*CO&G2(N{gMc|nhz9<4uu<*JFygS8IWJ?4d
zF!7bzz6jzCtHT=+_&y5{MBrO2ygLG~v+#tB+byxk!ZQsV_W#thv{q&j-iQwQ7Ctuu
zcUt(;2t3BZ*GAx12APWZ!*R9#r!C@OI03xf!cRuvEf#(;0&lQzZP@KIUSZ+M5x5Vy
z;eR<1M6uPOI0DbHa9;$TY~d>+aLvLSBJhjJrh+ZQto<Kcf|C}}9?{{Tg`bYV{T6;D
z0$*$4F`nBkvDCtyA-vdJ{J9p9A0kZLYvE-Pc&3Ff3gNub6PqoL@=*`Y+@of1Ef%Fp
z`Kzo%?<ikY^la;p?Y4Rc&)nJU8XlVz^{A@z<GHc@#iKk6$RGm&n1HYP%pGpd>rq}6
zPS+WvrmYRpFM}38;!aik&?rXSZH?A$4L&}ojLno8RAxN8GBI?JE{?jLhGvQmYG#eB
z&CN8My~3*${fZ?mkaT<R@%%FAM<2K7221!8R=wS-2l<N;^_XZ=T#(PP>OpP1mO8iQ
zGG+vFonZ475#9Gi)B_RqgkHA~mmg90MbsN2>g{H|L<=f#(Q2^LQt;$(bAYF<`bDcA
zG=6f7$!A*D9nbx;u%eGXGa@S%-`@E4(MM#(jXxuv<|<qKcs>{xoA6v2#XPgm7O(HK
m_5EOM^sL2Gmn^(b|5<+DQ~jf#D6aT^^<(;@Gy3*@<$nOW;4UWs

delta 11983
zcmb7p4|tTtwf;9}HX$2e2?3HNK(f0Dn-C#{00Dx9B~=IkBgV+3vEn8mrl=I@Q)+WH
z#1t{b76>Ybixf5q(ikj7+A<KY5U|BRw-+&5MAUQ>EJbQ5U@tep7Ju)2`)yeEw$Jb0
z<=M>6`_7y>bLPyMGeb|Eucywp?|m9N;dcp%v!1%=r8mmkR$Lj;5~$hm2>swZsq-Y(
z#>F<B-B#NDgj&^K9FbzI${Qr^6e#NwM4q64hYt)EGjw@1RI2<$q2kcsVv5K_Lrxkg
zI;hdZ7e<N)Q7s)MJ_4JQD&}c1)oJ2OU9NVEiMnj{h|N-qo8c9ILOnZERL9a1kJ>#>
z^p8dV1CvBHe>_oq82bHfwDC?BUuxAn)5K0a;+g4a@_B*ybLjW?K$YGqo+gxMW{8=(
zNs3QAgX(UdC>6AX_}VP7ms|y^wNTUv{NSA1L^%Zuc>QhSlx|RYyI6rzb=)p0iTnke
zUnCZ5VoQ;D8Uj=2ihRv4oGa?$>C<uQ%-y0!=pW_xh*lAEc3f@85BQV2MY<aMFQQ5_
z3?^0ma*?n}>K>=s?iJox>KdoIE5vde1;?q9Wny6rogJrkKP2`fkWcd6kBj|cB*#7>
z?iLwb{)G4`3aSwbMO%${Rb=w&H7GJvUai=I<w@nYpA<Xe&x^~hX|}SNp9}S!I?*7g
zajJ@4D`v`m33U1BL@ML<{}dxt)ze~v5DC1kUd+>sNDnh{KNOQml<|yb#2zu8b66z1
z{ql1AY$}_%R9-$>NM%b5U+*k@zmU}WU(#spcC+V4qHwmWUu{Q#j9!0=uh(tVb_m1h
z4a%Xd(;JQF+}_%b#(1N*0$iiR=nW(qy^Y6=hCmGZB%xl3-zjJx!>vCOQ(R@xDUHeu
z3=_x$jP8LPqqjL9O}j-yC5s=6+o0y`ABz_zkFV{(9D5pLjow{)jN1Eq+<%+(-c0E2
z%d+$yZRu_E^?nMS&$&5igUBQQNL9Q+%z!7{qSkK|iGut#-myuf46ewp?da0dVtu_`
z(72J`+9Z7G`{=Uo>r|G8GHVRV7S!{ptjLGo0lM6N3k(@JC8m1X7gL!CYl7*_S`wO0
zFx%)oS11}>Sv=#k$aXZ@YdZ**inSTN-F80QAkxGH?rab_j!!4mcGz4-Z(N4a`{@YY
z@PU}a6`Mtsy_PNqt1#eN?$|6gCk7^l4DZv{g33WS$FuO#Mmz6)Ry=Dh<0zP;wk~82
zQF~(<^%DNUtyVuL6h$=k`7O)cXEk;DdP7YaO}(m~g;UUr<GE?8C_$;NY=s?@DzdQ9
zaDo69Loccy(+${p_BK(VH&NX->?&-(bK3+7sx06OFJO0d6{zCv8o+)m`H8qdo&qk|
z5!!a!c8DDmv~$5u@jV!3|4uOl#f6>X3hf%todI!`g4ukkQM@CD^X?{5tT*SCCJ}FL
z_v_8(rd_v7tP=q>@I^76sA8&`@l!EKhyh&EBE}CJcthiMxTm(D-@%((M7kKr2U-x^
z9NejkfgJl1R>#5KmqZ-}2XX65!lP$(;w9+nc5_av@J8a*t-vcxJSnjY<LE6xSZMMa
z4P6eVJ!tP9#Myg9D!FsGc#p`TiXp0c4`LDdCvdzHh1|Yf#HsCjMS@nH_wEy=dQ5u7
zv?MQkMXb~Hi?4_S+J3wDi-p<**Y}Gyq37E6ORNtCrf6Yz>Htyu6jl}iVu=zlVUa1k
z_K=vW<s3fLCpVuLwTT59Y;6+<;#~!BvsmhJxp?n>k;7YG6)rte+pD3G7$X&{_SeMY
z=E}}EqK}I#t~ml%47m8f5x77gnXepyK9E`1E~<5WJ=`vqX))fTVh&=GT5(LQ5RUG_
zwH;0HBfY8J+3LdUVjIyPVtL(h?Aq>Ixa~ONcwnkp{)X6TBb!wHe+$2{!^Z=o4TLIn
z{e<WcgI(Cgk%6O`yH1MS;b>;W>Spq?zn@ViuyKOY)>=7*v)>i3YAHc7%I;sv7vB}9
z5;I0(A7bSMRxTzEAz=!i>JY61DyLxU+C)z!f*rTNOio^~TH3hfJuys+@C#GK@%Kb)
zq6Z@MF4rP#ArUp7iX^r5ebFf54`M&38f9t!PW<&#qG_0pe))zO{r=bCV*G$<H=@N-
ze)lwj#rq$Kd$ch3`2VA@9LG}E4QUxJ9eZZ8^Fy2(i&XK4Vu;XUXO-O$dp;D>u6=}%
z7C=aIVX|46EOu_|88f84eFmE)FoG|h5hadpge*^%(K{v=Q7@B=(T!fT^YxE~m$!c;
z=9=P*|IgxGleBn<_*i5)D*x#i2OKVNK`$aP4oQT|W1k3bG<NkLVA-7_bC`A>c!%jc
zGNd9rVp*q{saM^VZLa#>PVuMFQ{e>tv92hK2B6G^U&R?^={SVkrppa$%^1Une~%sQ
zAIXV9@wzDio|(3kJA+6}mYTGe{as=JEt$eAx~x&)wQH8D16`tAB#wr2#rzNF@~Wb<
zBIBR2tNW&VK4b#=gD8l?RPi4WHU|bLhmIE=&Uf)A=ft<gQoiGl;?{B6PoXSfE{z_e
zAt*5)#D5$1L=*OH_-NBk-(}|me-usT2m!sXAuO1wmYo+hq<8<h3nD2LvHujxzgB!M
zmYcwtKO^FgREZbG&xM$vj{QX(Hha`v0WJopwlBo%<ZeNZ0)Khaz`_LZdv0i9?%ioT
z_x@L3CC_|W?YJtcwLq29Bfb)2(7}a0XU8U;`7+iCzsaaAMJPCAV0||K#CYyq-7%mF
zuR$Z-asS_N$mo&uB8Eo_VkHb1pd1~}g+^++E|P5Mz->f-)DagE$c(sqB;78xq${zs
zAGu(v+8s|jZ24WWp(DtRK%xU)BaWah81oAp%`R+f*8m(z<m+`M7`+~}@eD<MlBym=
zvt{D00ks{wU{QVIHlbr6hnHu{Z1uN9s+H6<Ow}Y&HsX9Dw>oJtHBRFA;Z%ZBl@F&J
zb7Jd9&=&oJJ*jk@0+aYcDlOAxX&RNHRJ+qCADQe_)#;*C(m$?y=mjYzt8HG2HK)`x
zhOmH;+Llf0kdRK|!m+ekcWxU?$g42!iE-4biRv7x)5P^0Y85F>n7j^+Y4DP6oWF$0
zQov|<V5~ZpOUFpdTsM)vM^rEQtI2efnkMnFeCpPs&P=5gZl6M1b)|eN)mY#)J>IEl
zv`UXtTtM4!)tIEteT_E9=^xdzF+VN1yNJ>WiE!*ZdIQCYdDI+(e7JEb$Iqh_wP`+W
zjnNC1T}t`pG%N3+6{Z(;ETkF}DJ`cHFkYJS+(*|<%5y)xZT`6EC#06pB&U+DY5Qg`
zfk{v{EunL|T)z~ChvuEtG=}FrK#ywh@B;ub=E7y#kN`R#r2QJ$Tt(~5AyXcvbdk6g
z9vp*EfwD-Kk4tsuBQ)Av(beB3MY=^0{%y8E#6k<6xr&w($~~(nkJd`{`&D$oJU{>A
zdo)-ZN$avum-+unA0b6bd>r268lq-A4r5X<QSGmx6;d>@yN-rvugb3@^Fp+uj(#9;
zJ-PA&NcJSMcP-5m#H-fQ400!{{cGtvF`&KcseppRRONaaAw++!d4@&|&c$I5*R9O)
z^)?~b?jFmn&p@gxiMyYn0%UHZenkC<DyOn{12sddw>MB`Wa8$Z(U-WzZiI0La`r|V
zafc&x`nOACpW%yZ&{v5-9c~)>8i8~yP=LKQ1K&cU*QMLeHhPZ~(zKxFN`PUn1xm54
zj*(8+Hg6;|U2EG&DLP#{wGlI|7{c+Ju&NbFs%{hEii;_24o#^UQ<4e3-eyecET*&>
zo2ZGqHd8V+CGxe+lqb5?xMyL9q(&Q(L)>91R{45o8pa|2YK$Jki=V>?{uti;9CmE;
z5bl1C)+Kfgxj9-?WODWMlp`wmrRV8E?J$X3sF=El7jL22<R8krw~$BYrEhP+1e%Ac
zD_f{qTT`w0H;Tui7I5_oWM+}Hon|L>4GJl9wC=7RtxS8}ke*<iTD%?mIMppJP4h#V
zR_HRpnC34>Op?6eCzy`p)}Iir*^<k5(C!;us;w@%)Lm+jAN1qYoiOK;IAr*glH!Sj
zE8rqnu@2!5QK8Wz8Y<SKjN=tM={v&C-8<=&*M(yyphs-dchOK{t<w&iQ6?5xW~LsU
z0r<iMMUCXZ<-*B{O~eq<+NAB`<SR|s3>C?|xEUIBC9CRYn44U&YVV5_ODVxI5Qxa?
zPlR(Jy85#%CzE{Qr&I~IoX|pNb&}0Vt#p+F>B_N(mI!@63)IDw&0NdXFVlz&9RIF*
zR8hwL5GB$8<EfZ3viW*Lndh+9bpFr#WF`lZMCw%F+ROAF?qVl?M#<*2Z9RG+R~3*_
zX!v?7yrH|;r*2;O9(h&PURop)8!`Vzs9OP>=u-qo?&hDH^FQ!&Dwle_6MsRk>U;l*
zUz*`=%dfDR5>&wfx?d(fOqY#c$g-IzTV6)Flz7h}${RQdH(Vvls@h~(+E~7D2+_fH
z3m3N0k|Z>3{}xn3`Q|dMBAQmk@Xrs?Xb!f~K?;sm+g_zxXkZpj*cw||{gZf`aB;_L
zP-~jH`WpR<Kv{Bx)=1%0Cyo)GhMY{lroW)L@@u+V^yAsTp|r`k4d~|qf9Z{<g#bLm
zzYxou0M3Kpu@I{xjgv-uW`hr&<I3Z0zrlgv&*PNiw1NV8yk3{VJid0EHj^uzH@ra?
z$)C<OZ{pYsderQ<Xd($0SN{jKQO0D>|1BxUX>r+?6H}IT3nq9{s4ss@cM0msQY9y7
zF`f(h@!ofII7s8Sbs6l>=iZ@Ij~l0QV=5M7F%|>b1-$t7ho;#GF_mJPe*o|OD<$*S
zPEx|?4B!YufhN%qD8!6#A_j`#^9Vr!q6Qs;T$A|PUnyH{KS^Uu2MdmZK5O~JyEMYg
zGt*IpgJor)goF8AQ4ThS9UVHDjO4-&`hBExWuph2%bjI8S8=3s9kFkPx9YLBbL#ta
z@31O70&S6I$}`gNy*A3`do7sH8{Vgx!*ifELS0KD)IMf3_z`7;PGCvAceYGr+wX8p
zyHk0`?{NHAjAG9zl&J4MMH{F)hx0!`I^r46%RWF9J1F>_59k}zmBu9>QYsgnCO>uM
zGOV7=M^Do;X5~Yy6TtX0^dM%m>J06s?p&4f5ycAn%*mdQk-l_|;?*Bx+gGvU6Pl6e
z@<1c(l9#YUS`eUvPG0;8e7bQIANT|ZuRB$hbkYV%ZX0)Yk+;B|ij_peib|{`rq_ro
zWuu;A68tgG*DHr&8#|G=#Q6^SwF%&-%~*K|p3zNb^h{IEB5b=L$BZVBqoWC|w*M?m
z8K}EJR5Q8-o$BgY^2AU&`g}%}RN>;9&nOu#x#ctZBOV6TnhP`w5!=bfKBp!vd)c4q
z09|mZ)QgBf+MLinMde<mj|J_Tz>Y8I7xX#t>tE2L1wq7aQ-zuv+ep9A&6$H2I$UPW
zX@b+!)Gu`AD%N3|@x0=%aO%c*w9!sohc=c|yMTqAIvB5=+UpJCJdbqffZn1}4jmYw
z;LvxAA_Pk#2Vr3?U9O#AD-$+fZ$+NbYZx$V`27ryT{{tNP*zPssU1Am_CF)2i+^<$
zrz@QN#8rAH!pZ&l=mjV5f)q1?;?&ZwSylw)p8qDdHq(e6>ck`OwH`W5uIb#?OUn@E
z-Ph;^God^DC4F6t#MTzL;vCsv^n4dSE?h=KMS;%Pjn+yY^>@k@4ps7ZI&OAJ`icsX
z4i9?1T;}0yetv_j9NvusR$rD#pZK#whoT?$aj{*<OyTDVLVg{K{#_xP$)BoHNbbj5
z8!~7q7gMua<=AAMAWtsukCEeXz;(ySyY=NLzn?r|qsB2DJ3wA1?`V!4DDg~^#s>z<
zVlkS9L;4YLD;=`G4bxnaD34K~fb)jPZVG0oq@nT+{b=4f%*0hwlH4n3bPks~<whJ7
z-A=gy?^3s@RU>5Ojhlx)Z1k&HAV-}`mHo`TQ$MTdyt7`H$V|U-$)5>oMkw&eQaYQ&
zl#UX)%EEMc3Z=@)kV*8<E;C%~m8bs!sq{_9Oo_K-%bA4R;Hj~43DHVY)5ptMHu`jg
zs+lMqHd;DKZI~j{NQX1mI$X!Ls{_;IZb8_Fi>FJZxHeutT^5qd!zZRg6>PC{)8+0Y
z7cw)wXAZ|3uN`q1uQlP~+L+Hxx5{$e_WG@6Tb1-RNy6dAITe26Ys^;O8L|l@IQi|F
zvdPg1QlHPERD!F0vW*&VQTelElB8V;TymRCO6kIzufPqc0+B@|gsyuu6wZZ-+$Ou>
zN%>qkTTUFN!v<{LqPJ>OIM{OQY<ZacvAleap3-REGRJC)UE88}Y#|O!_$(q#=N$N$
zs8XJ}vQ9@7wR@gSiOJU4rOrevk?iRE=qwzi{v7z`(Ati64CqIWuBYhA<O>UAzVIve
zT{2Cibb%LZjh+f*;@Tl9HlRfNu5>Ohg<ajlct@$s8}9c)aU6F3Bp<YaMmWZG-tAYP
zmCA3MmzVN;WVOCOt5e^Qg(A_VqZXp$kpkn;kt@cufS0rHl{p?W2gJTJB|xH?|7nTc
zA&Gc;+WU}9;!XF;f!G^6?v+ZIFMqf!=~&>y(}gg6c=;QqU;b9yCl`w)IuE;5zrq-J
z+Q9>0;$nI3rUyV7hq+Br@%PI?QolQnsFW|69(eo#`MS`a_soNGnqGBvyh^U4f2986
zhyK^<XX3H@)I+i+BnGQ^q!3m}6xs^Q9uAAqv&YJs_S9K0>}e(r#aL-PygV$C1@oDQ
z!(tHHk7Ps4e$$xC9|?;=*bQ`B*CQ=P8@CB!As%Ad9?@b{=Ogl8Z8%-jy{lxK)CLXM
zLIw@Oun`8$SuGdR5;O1caLa0GK8m{VbaMYvb$qp4FaCjD8Fuw@{bTYzoY&_blgqU;
zmwsPnXJ?GYGY7n27xv#S*r6HTyabz|*=zJRX5(9ji^5{~o0E5cU;a0`@2G}@SE=r5
z`Re~?-P8HQ$K~|U;=6eA6LO^a4j1x(@+ahlf1+uodZI>tQ$IqTS%WY@{&DKclM*ir
z@ZIvY(tOZTtDcgr8sXG>d6AmNDaQ}x@>o5u>Wwmo0+UtiMr>Bo-y0CbV)6bE9Axm!
z12kMsdQN^zAQ@6SpO>Ey1rk)vR#~GD7QX&(2*xNkY=f6Ap{J8xkoem0jlnk--+n6T
zg}8-3!xNWb2>dg+tH?f#4==FCbA6G0B(I!rkK@ma?FsCgZy%~LCtsS2>dX4ir6T+(
znvXvTb3p`4(73kPK7a$dUHH!cUOCU6!ktC-_$_nM!neR~<2Q@ZB4M80!HbLSIl8Tb
z*B9B7*mVcm78FB)qPg~mxn4K9R%|ce?eifR(w+LxNY1?@G+3_gJCt+#Ib!&=x%PgX
zPz>?FTx=`0r}BzYbXz|Ue@>J_@})Z<xosZg`SlDE=A)gn)b7A-VtlbZSsF$x|7O1Z
zA@<#A&j|flc_&)8mDuxiHCGRuq5mXt`~v&}f#|&eTHdOwuuB~0UK?cNZ<e6(C5@Rq
z9xp|^m8F>Li97ALa!HBZ%MafHwfuM3OSPyJ&BAo^?anO=&=rF@`J^7Pwgf^Jl-P^7
z{f-b}vX(00c1hZ5xHH@ZRc>Hd$`pS5PH3BgS#m-te!-j$e!0{>R=MuB2YxLccy<;t
z$OrgnUVO6H!<UoelZWqtN9a#ws4xy*n`{2s!)|8;U18C2Uxw+sBI#8Yy`YbNGLkN~
z=uLg}E0OdQ7Jagh?uw)zwCIGtg~uK|JVLc9i}v@?vm)tlSaeGt{b(dzZPAzd=*CFe
zVbQsN50CwBB>kvGuk52mN`z{-8=0Sjee{G#8vm0N`dkkSuZX1akZ*o`eRM-4J<OtO
z`{<*Qw9}&7`{>J&bh$+vUxmkZkBHDb!=inC^j(qkGK;S7qo0hVlP&sWAN@)s{WXhD
zFhY*8hr1$aJOP`Z1%343krAqmw&+cL^sGpFfJL9|qaTf=ziH74B0P3uB#lQd^RuXr
zem9c#TJ+XFT8xTNZKy?`?xQC}(u*wGN#U_8BI)54y{M0Fh@|fikKIQfjihyG*Pmb?
zeL0ez6JiaQ43F(jjnMpFi>~UU?~0^TEqY%c{bVGKXli~g_0g|H(labN*A^bTE0XSK
z(JTAt!D$hy^|$DKee^8QYeriWE=mgt4bMM}=UTYmD#N(bsy`Nm8&-W&6n;K6B){cm
ze2sC^BHC{zjDr?_ItmY1_@yYk-ooQtp@G7RuC#Dh6u!vB*BHjsD8grTSP+G0S$I_x
zo?zj%QFza&kRn^7@Suh7(>TUA!kWHm5pPCy*k|FvD157h_e9~f7M|d~*%DP2o)v-X
z@r?x*;fo+NKGnh(Md2<BUm1nRS$KUEeraS#kw6rFdStOVzHu;$Xtz3?jKW(i{CpI?
z$-)iK%`<+?!ktmL-@<b}Yi{mPWD!MC9da$)AB8(D{IMw9u<%V$`1ui`@mj+88f(9u
zw21aFVc`cY{B#r^u<%P!c)f+krQbZUl@{)b!q+Uah^bM8&%zf(;aL`56@@2Qcx@Ek
zlM+&7YZM*~;cJY2QN){8hc~0}eHI>!!nay@PZVBj;RzWxTcXOsvrHWR7v6pgEW#Jn
zVXB2Mio#tMzA_4rv+(*T{L=7{B7sO;`~PW+I2cI)Z@2K1QFx1mpO3;fS-3I!<{3X`
z;m#=B58T{;xlu%s)uAW~&$V!W6z;U}$D(k<!Z$_X=ba%1TSi;^KfDAdEuuZD!$Au_
z9fb!h{8AKNZ{cy?n=P@@!d-oMk&bhQvB)B(_7Nf6XW<K?@GJ|j>ce@nH$F$a#Yeq3
zbKeT}HsVoM=&zONy~UR`-Ot+GJyvh4YV>1wW_)r?g|73XdGSN=Kah6;8Ezr~6Y$la
zMVX;_Rq&IMbgfAmMtvXs3TQEfyL9oCS&aFM)u`PX{Kc>`wvf!QGB2__3qyzLqL`a$
zXr}3~W|mN6QC6tgclk+8f7g;0Ouo7Ii~I`cZymAdO_uPZR=wS-hxzkS^|;uOxG<k<
z)x+BOEOl<oWx^QbI^pJzMRng7RS!nh6Z+je+|;PLKdQbds@@)|7aL&(&RY!{Ed@_z
zh6eb=()+ws4;$YZ7vi%l>%Pc?v$3KTPmjrt$G1Pe1Js!8fm6<iHC$nHOySy?__$|_
uDB<aSHiz108}z}%*xL)|tXTbh_2a37P7R5DV9wIpA1PPgnm=gJul^r9CD4ul

diff --git a/functional-core/app/app-init.sml b/functional-core/app/app-init.sml
index c4d3ac2..0888eb3 100644
--- a/functional-core/app/app-init.sml
+++ b/functional-core/app/app-init.sml
@@ -24,6 +24,8 @@ struct
       , mouseX = 0.0
       , mouseY = 0.0
       , showGraph = true
+      , arrowX = 0
+      , arrowY = 0
       }
     end
 
diff --git a/functional-core/app/app-type.sml b/functional-core/app/app-type.sml
index 38d7045..50150ba 100644
--- a/functional-core/app/app-type.sml
+++ b/functional-core/app/app-type.sml
@@ -15,6 +15,7 @@ sig
     , y3: Real32.real
     }
 
+
   type app_type =
     { triangles: triangle list
     , triangleStage: triangle_stage
@@ -24,9 +25,11 @@ sig
     , yClickPoints: Real32.real vector
     , undo: (Real32.real * Real32.real) list
     , redo: (Real32.real * Real32.real) list
+    , showGraph: bool
     , mouseX: Real32.real
     , mouseY: Real32.real
-    , showGraph: bool
+    , arrowX: int
+    , arrowY: int
     }
 end
 
@@ -64,8 +67,10 @@ struct
     , yClickPoints: Real32.real vector
     , undo: (Real32.real * Real32.real) list
     , redo: (Real32.real * Real32.real) list
+    , showGraph: bool
     , mouseX: Real32.real
     , mouseY: Real32.real
-    , showGraph: bool
+    , arrowX: int
+    , arrowY: int
     }
 end
diff --git a/functional-core/app/app-update.sml b/functional-core/app/app-update.sml
index a70ce8e..5f04f04 100644
--- a/functional-core/app/app-update.sml
+++ b/functional-core/app/app-update.sml
@@ -59,9 +59,8 @@ struct
                  val drawMsg = DRAW_DOT drawVec
 
                  val newTriangleStage = FIRST {x1 = hpos, y1 = vpos}
-                 val model =
-                   AppWith.addTriangleStage
-                     (model, newTriangleStage, newUndoTuple)
+                 val model = AppWith.addTriangleStage
+                   (model, newTriangleStage, newUndoTuple, hIdx, vIdx)
                in
                  (model, DRAW drawMsg)
                end
@@ -73,16 +72,15 @@ struct
 
                  val newTriangleStage = SECOND
                    {x1 = x1, y1 = y1, x2 = hpos, y2 = vpos}
-                 val model =
-                   AppWith.addTriangleStage
-                     (model, newTriangleStage, newUndoTuple)
+                 val model = AppWith.addTriangleStage
+                   (model, newTriangleStage, newUndoTuple, hIdx, vIdx)
                in
                  (model, DRAW drawMsg)
                end
            | SECOND {x1, y1, x2, y2} =>
                let
                  val model = AppWith.addTriangle
-                   (model, x1, y1, x2, y2, hpos, vpos, newUndoTuple)
+                   (model, x1, y1, x2, y2, hpos, vpos, newUndoTuple, hIdx, vIdx)
                  val drawVec = Triangles.toVector model
                  val drawMsg = DRAW_TRIANGLES_AND_RESET_DOTS drawVec
                in
diff --git a/functional-core/app/app-with.sml b/functional-core/app/app-with.sml
index 169cf51..4f057ae 100644
--- a/functional-core/app/app-with.sml
+++ b/functional-core/app/app-with.sml
@@ -27,7 +27,11 @@ sig
    * and also add new click position to undo stack.
    *)
   val addTriangleStage:
-    AppType.app_type * AppType.triangle_stage * (Real32.real * Real32.real)
+    AppType.app_type
+    * AppType.triangle_stage
+    * (Real32.real * Real32.real)
+    * int
+    * int
     -> AppType.app_type
 
   val addTriangle:
@@ -39,6 +43,8 @@ sig
     * Real32.real
     * Real32.real
     * (Real32.real * Real32.real)
+    * int
+    * int
     -> AppType.app_type
 
   val useTriangles: AppType.app_type * AppType.triangle list -> AppType.app_type
@@ -50,7 +56,8 @@ struct
 
   (* add to undo, clear redo *)
   fun addTriangleStage
-    (app: app_type, newTriangleStage: triangle_stage, newUndoHd) : app_type =
+    (app: app_type, newTriangleStage: triangle_stage, newUndoHd, arrowX, arrowY) :
+    app_type =
     let
       val
         { triangleStage = _
@@ -61,9 +68,11 @@ struct
         , windowHeight
         , undo
         , redo = _
+        , showGraph
         , mouseX
         , mouseY
-        , showGraph
+        , arrowX = _
+        , arrowY = _
         } = app
 
       val newUndo = newUndoHd :: undo
@@ -76,13 +85,17 @@ struct
       , yClickPoints = yClickPoints
       , windowWidth = windowWidth
       , windowHeight = windowHeight
+      , showGraph = showGraph
       , mouseX = mouseX
       , mouseY = mouseY
-      , showGraph = showGraph
+      , arrowX = arrowX
+      , arrowY = arrowY
       }
     end
 
-  fun addTriangle (app: app_type, x1, y1, x2, y2, x3, y3, newUndoHd) : app_type =
+  fun addTriangle
+    (app: app_type, x1, y1, x2, y2, x3, y3, newUndoHd, arrowX, arrowY) :
+    app_type =
     let
       val
         { triangles
@@ -93,9 +106,11 @@ struct
         , windowHeight
         , undo
         , redo = _
+        , showGraph
         , mouseX
         , mouseY
-        , showGraph
+        , arrowX = _
+        , arrowY = _
         } = app
 
       val newTriangle = {x1 = x1, y1 = y1, x2 = x2, y2 = y2, x3 = x3, y3 = y3}
@@ -110,9 +125,11 @@ struct
       , yClickPoints = yClickPoints
       , windowWidth = windowWidth
       , windowHeight = windowHeight
+      , showGraph = showGraph
       , mouseX = mouseX
       , mouseY = mouseY
-      , showGraph = showGraph
+      , arrowX = arrowX
+      , arrowY = arrowY
       }
     end
 
@@ -129,9 +146,11 @@ struct
         , triangleStage
         , undo
         , redo
+        , showGraph
         , mouseX
         , mouseY
-        , showGraph
+        , arrowX
+        , arrowY
         } = app
 
       val xClickPoints = ClickPoints.generate (wStart, wFinish)
@@ -145,9 +164,11 @@ struct
       , windowHeight = windowHeight
       , undo = undo
       , redo = redo
+      , showGraph = showGraph
       , mouseX = mouseX
       , mouseY = mouseY
-      , showGraph = showGraph
+      , arrowX = arrowX
+      , arrowY = arrowY
       }
     end
 
@@ -188,6 +209,8 @@ struct
         , undo
         , redo
         , showGraph
+        , arrowX
+        , arrowY
         } = app
     in
       { mouseX = mouseX
@@ -201,6 +224,8 @@ struct
       , undo = undo
       , redo = redo
       , showGraph = showGraph
+      , arrowX = arrowX
+      , arrowY = arrowY
       }
     end
 
@@ -216,9 +241,11 @@ struct
         , windowHeight
         , undo
         , redo
+        , showGraph
         , mouseX
         , mouseY
-        , showGraph
+        , arrowX
+        , arrowY
         } = app
 
       val newUndo =
@@ -236,9 +263,11 @@ struct
       , yClickPoints = yClickPoints
       , windowWidth = windowWidth
       , windowHeight = windowHeight
+      , showGraph = showGraph
       , mouseX = mouseX
       , mouseY = mouseY
-      , showGraph = showGraph
+      , arrowX = arrowX
+      , arrowY = arrowY
       }
     end
 
@@ -254,9 +283,11 @@ struct
         , windowHeight
         , undo
         , redo
+        , showGraph
         , mouseX
         , mouseY
-        , showGraph
+        , arrowX
+        , arrowY
         } = app
 
       val newUndo = newUndoHd :: undo
@@ -273,9 +304,11 @@ struct
       , yClickPoints = yClickPoints
       , windowWidth = windowWidth
       , windowHeight = windowHeight
+      , showGraph = showGraph
       , mouseX = mouseX
       , mouseY = mouseY
-      , showGraph = showGraph
+      , arrowX = arrowX
+      , arrowY = arrowY
       }
     end
 
@@ -292,6 +325,8 @@ struct
         , redo
         , mouseX
         , mouseY
+        , arrowX
+        , arrowY
         , showGraph = _
         } = app
     in
@@ -306,6 +341,8 @@ struct
       , windowHeight = windowHeight
       , mouseX = mouseX
       , mouseY = mouseY
+      , arrowX = arrowX
+      , arrowY = arrowY
       }
     end
 
@@ -318,9 +355,11 @@ struct
         , windowHeight
         , undo
         , redo
+        , showGraph
         , mouseX
         , mouseY
-        , showGraph
+        , arrowX
+        , arrowY
         , triangles = _
         , triangleStage = _
         } = app
@@ -338,6 +377,8 @@ struct
       , windowHeight = windowHeight
       , mouseX = mouseX
       , mouseY = mouseY
+      , arrowX = arrowX
+      , arrowY = arrowY
       }
     end
 end