Annotations.casl.global.output revision 1d2c2ebba52ca5c89ca40181064ab30e2ef26403
GA {prec_annos = {(Id [Token {tokStr = ".f'", tokPos = (line 23, column 11)},Token {tokStr = "__", tokPos = (line 23, column 14)},Token {tokStr = "__", tokPos = (line 23, column 16)}] [] [],Id [Token {tokStr = "'e'", tokPos = (line 18, column 27)}] [] []),(Id [Token {tokStr = ".f'", tokPos = (line 23, column 11)},Token {tokStr = "__", tokPos = (line 23, column 14)},Token {tokStr = "__", tokPos = (line 23, column 16)}] [] [],Id [Token {tokStr = ".f'", tokPos = (line 23, column 11)},Token {tokStr = "__", tokPos = (line 23, column 14)},Token {tokStr = "__", tokPos = (line 23, column 16)}] [] []),(Id [Token {tokStr = ".f'", tokPos = (line 23, column 11)},Token {tokStr = "__", tokPos = (line 23, column 14)},Token {tokStr = "__", tokPos = (line 23, column 16)}] [] [],Id [Token {tokStr = "0", tokPos = (line 21, column 6)}] [] []),(Id [Token {tokStr = ".f'", tokPos = (line 23, column 11)},Token {tokStr = "__", tokPos = (line 23, column 14)},Token {tokStr = "__", tokPos = (line 23, column 16)}] [] [],Id [Token {tokStr = "6", tokPos = (line 18, column 31)}] [] []),(Id [Token {tokStr = ".f'", tokPos = (line 23, column 11)},Token {tokStr = "__", tokPos = (line 23, column 14)},Token {tokStr = "__", tokPos = (line 23, column 16)}] [] [],Id [Token {tokStr = "__", tokPos = (line 23, column 2)},Token {tokStr = "k_h", tokPos = (line 23, column 4)},Token {tokStr = "__", tokPos = (line 23, column 7)}] [] []),(Id [Token {tokStr = ".f'", tokPos = (line 23, column 11)},Token {tokStr = "__", tokPos = (line 23, column 14)},Token {tokStr = "__", tokPos = (line 23, column 16)}] [] [],Id [Token {tokStr = "a", tokPos = (line 21, column 2)},Token {tokStr = "__", tokPos = (line 21, column 3)}] [] []),(Id [Token {tokStr = ".f'", tokPos = (line 23, column 11)},Token {tokStr = "__", tokPos = (line 23, column 14)},Token {tokStr = "__", tokPos = (line 23, column 16)}] [] [],Id [Token {tokStr = "p", tokPos = (line 18, column 25)}] [] []),(Id [Token {tokStr = "0", tokPos = (line 21, column 6)}] [] [],Id [Token {tokStr = "'e'", tokPos = (line 18, column 27)}] [] []),(Id [Token {tokStr = "0", tokPos = (line 21, column 6)}] [] [],Id [Token {tokStr = ".f'", tokPos = (line 23, column 11)},Token {tokStr = "__", tokPos = (line 23, column 14)},Token {tokStr = "__", tokPos = (line 23, column 16)}] [] []),(Id [Token {tokStr = "0", tokPos = (line 21, column 6)}] [] [],Id [Token {tokStr = "0", tokPos = (line 21, column 6)}] [] []),(Id [Token {tokStr = "0", tokPos = (line 21, column 6)}] [] [],Id [Token {tokStr = "6", tokPos = (line 18, column 31)}] [] []),(Id [Token {tokStr = "0", tokPos = (line 21, column 6)}] [] [],Id [Token {tokStr = "__", tokPos = (line 23, column 2)},Token {tokStr = "k_h", tokPos = (line 23, column 4)},Token {tokStr = "__", tokPos = (line 23, column 7)}] [] []),(Id [Token {tokStr = "0", tokPos = (line 21, column 6)}] [] [],Id [Token {tokStr = "a", tokPos = (line 21, column 2)},Token {tokStr = "__", tokPos = (line 21, column 3)}] [] []),(Id [Token {tokStr = "0", tokPos = (line 21, column 6)}] [] [],Id [Token {tokStr = "p", tokPos = (line 18, column 25)}] [] []),(Id [Token {tokStr = "__", tokPos = (line 18, column 14)},Token {tokStr = "**", tokPos = (line 18, column 16)},Token {tokStr = "__", tokPos = (line 18, column 18)}] [] [],Id [Token {tokStr = "'e'", tokPos = (line 18, column 27)}] [] []),(Id [Token {tokStr = "__", tokPos = (line 18, column 14)},Token {tokStr = "**", tokPos = (line 18, column 16)},Token {tokStr = "__", tokPos = (line 18, column 18)}] [] [],Id [Token {tokStr = "6", tokPos = (line 18, column 31)}] [] []),(Id [Token {tokStr = "__", tokPos = (line 18, column 14)},Token {tokStr = "**", tokPos = (line 18, column 16)},Token {tokStr = "__", tokPos = (line 18, column 18)}] [] [],Id [Token {tokStr = "p", tokPos = (line 18, column 25)}] [] []),(Id [Token {tokStr = "__", tokPos = (line 23, column 2)},Token {tokStr = "k_h", tokPos = (line 23, column 4)},Token {tokStr = "__", tokPos = (line 23, column 7)}] [] [],Id [Token {tokStr = "'e'", tokPos = (line 18, column 27)}] [] []),(Id [Token {tokStr = "__", tokPos = (line 23, column 2)},Token {tokStr = "k_h", tokPos = (line 23, column 4)},Token {tokStr = "__", tokPos = (line 23, column 7)}] [] [],Id [Token {tokStr = ".f'", tokPos = (line 23, column 11)},Token {tokStr = "__", tokPos = (line 23, column 14)},Token {tokStr = "__", tokPos = (line 23, column 16)}] [] []),(Id [Token {tokStr = "__", tokPos = (line 23, column 2)},Token {tokStr = "k_h", tokPos = (line 23, column 4)},Token {tokStr = "__", tokPos = (line 23, column 7)}] [] [],Id [Token {tokStr = "0", tokPos = (line 21, column 6)}] [] []),(Id [Token {tokStr = "__", tokPos = (line 23, column 2)},Token {tokStr = "k_h", tokPos = (line 23, column 4)},Token {tokStr = "__", tokPos = (line 23, column 7)}] [] [],Id [Token {tokStr = "6", tokPos = (line 18, column 31)}] [] []),(Id [Token {tokStr = "__", tokPos = (line 23, column 2)},Token {tokStr = "k_h", tokPos = (line 23, column 4)},Token {tokStr = "__", tokPos = (line 23, column 7)}] [] [],Id [Token {tokStr = "__", tokPos = (line 23, column 2)},Token {tokStr = "k_h", tokPos = (line 23, column 4)},Token {tokStr = "__", tokPos = (line 23, column 7)}] [] []),(Id [Token {tokStr = "__", tokPos = (line 23, column 2)},Token {tokStr = "k_h", tokPos = (line 23, column 4)},Token {tokStr = "__", tokPos = (line 23, column 7)}] [] [],Id [Token {tokStr = "a", tokPos = (line 21, column 2)},Token {tokStr = "__", tokPos = (line 21, column 3)}] [] []),(Id [Token {tokStr = "__", tokPos = (line 23, column 2)},Token {tokStr = "k_h", tokPos = (line 23, column 4)},Token {tokStr = "__", tokPos = (line 23, column 7)}] [] [],Id [Token {tokStr = "p", tokPos = (line 18, column 25)}] [] []),(Id [Token {tokStr = "a", tokPos = (line 18, column 10)},Token {tokStr = "__", tokPos = (line 18, column 11)}] [] [],Id [Token {tokStr = "'e'", tokPos = (line 18, column 27)}] [] []),(Id [Token {tokStr = "a", tokPos = (line 18, column 10)},Token {tokStr = "__", tokPos = (line 18, column 11)}] [] [],Id [Token {tokStr = ".f'", tokPos = (line 23, column 11)},Token {tokStr = "__", tokPos = (line 23, column 14)},Token {tokStr = "__", tokPos = (line 23, column 16)}] [] []),(Id [Token {tokStr = "a", tokPos = (line 18, column 10)},Token {tokStr = "__", tokPos = (line 18, column 11)}] [] [],Id [Token {tokStr = "0", tokPos = (line 21, column 6)}] [] []),(Id [Token {tokStr = "a", tokPos = (line 18, column 10)},Token {tokStr = "__", tokPos = (line 18, column 11)}] [] [],Id [Token {tokStr = "6", tokPos = (line 18, column 31)}] [] []),(Id [Token {tokStr = "a", tokPos = (line 18, column 10)},Token {tokStr = "__", tokPos = (line 18, column 11)}] [] [],Id [Token {tokStr = "__", tokPos = (line 23, column 2)},Token {tokStr = "k_h", tokPos = (line 23, column 4)},Token {tokStr = "__", tokPos = (line 23, column 7)}] [] []),(Id [Token {tokStr = "a", tokPos = (line 18, column 10)},Token {tokStr = "__", tokPos = (line 18, column 11)}] [] [],Id [Token {tokStr = "a", tokPos = (line 21, column 2)},Token {tokStr = "__", tokPos = (line 21, column 3)}] [] []),(Id [Token {tokStr = "a", tokPos = (line 18, column 10)},Token {tokStr = "__", tokPos = (line 18, column 11)}] [] [],Id [Token {tokStr = "p", tokPos = (line 18, column 25)}] [] [])}, assoc_annos = {Id [Token {tokStr = "'a'", tokPos = (line 32, column 13)}] [] []:=ALeft,Id [Token {tokStr = ".ly", tokPos = (line 33, column 17)},Token {tokStr = "__", tokPos = (line 33, column 20)}] [] []:=ARight,Id [Token {tokStr = "5", tokPos = (line 33, column 14)}] [] []:=ARight,Id [Token {tokStr = "__", tokPos = (line 32, column 23)},Token {tokStr = "<", tokPos = (line 32, column 25)},Token {tokStr = "__", tokPos = (line 32, column 26)}] [] []:=ALeft,Id [Token {tokStr = "__", tokPos = (line 35, column 1)},Token {tokStr = "[", tokPos = (line 35, column 4)},Token {tokStr = "__", tokPos = (line 35, column 5)},Token {tokStr = "]", tokPos = (line 35, column 8)}] [] []:=ARight,Id [Token {tokStr = "b", tokPos = (line 32, column 19)}] [] []:=ALeft}, display_annos = {Id [Token {tokStr = "sum", tokPos = (line 37, column 10)},Token {tokStr = "__", tokPos = (line 37, column 13)},Token {tokStr = "To", tokPos = (line 37, column 15)},Token {tokStr = "__", tokPos = (line 37, column 17)}] [] []:={DF_HTML:="SUM<sub>__<sup>__",DF_LATEX:="\\sum_{__}^{__}"}}, literal_annos = LA {string_lit = Just (Id [Token {tokStr = "eStr", tokPos = (line 44, column 9)}] [] [],Id [Token {tokStr = "__", tokPos = (line 44, column 15)},Token {tokStr = "++", tokPos = (line 44, column 17)},Token {tokStr = "__", tokPos = (line 44, column 19)}] [] []), list_lit = {(Id [Token {tokStr = "[", tokPos = (line 45, column 7)},Token {tokStr = "__", tokPos = (line 45, column 8)},Token {tokStr = "]", tokPos = (line 45, column 10)}] [] [],Id [Token {tokStr = "nil", tokPos = (line 45, column 13)}] [] [],Id [Token {tokStr = "cons", tokPos = (line 45, column 18)}] [] [])}, number_lit = Just (Id [Token {tokStr = "__", tokPos = (line 42, column 9)},Token {tokStr = "@@", tokPos = (line 42, column 11)},Token {tokStr = "__", tokPos = (line 42, column 13)}] [] []), float_lit = Just (Id [Token {tokStr = "__", tokPos = (line 43, column 11)},Token {tokStr = "frac", tokPos = (line 43, column 13)},Token {tokStr = "__", tokPos = (line 43, column 17)}] [] [],Id [Token {tokStr = "__", tokPos = (line 43, column 21)},Token {tokStr = "exp", tokPos = (line 43, column 23)},Token {tokStr = "__", tokPos = (line 43, column 26)}] [] [])}, literal_map = {Id [Token {tokStr = "__", tokPos = (line 44, column 15)},Token {tokStr = "++", tokPos = (line 44, column 17)},Token {tokStr = "__", tokPos = (line 44, column 19)}] [] []:=StringCons (Id [Token {tokStr = "eStr", tokPos = (line 44, column 9)}] [] []),Id [Token {tokStr = "__", tokPos = (line 42, column 9)},Token {tokStr = "@@", tokPos = (line 42, column 11)},Token {tokStr = "__", tokPos = (line 42, column 13)}] [] []:=Number,Id [Token {tokStr = "__", tokPos = (line 43, column 21)},Token {tokStr = "exp", tokPos = (line 43, column 23)},Token {tokStr = "__", tokPos = (line 43, column 26)}] [] []:=Floating,Id [Token {tokStr = "__", tokPos = (line 43, column 11)},Token {tokStr = "frac", tokPos = (line 43, column 13)},Token {tokStr = "__", tokPos = (line 43, column 17)}] [] []:=Fraction,Id [Token {tokStr = "cons", tokPos = (line 45, column 18)}] [] []:=ListCons (Id [Token {tokStr = "[", tokPos = (line 45, column 7)},Token {tokStr = "__", tokPos = (line 45, column 8)},Token {tokStr = "]", tokPos = (line 45, column 10)}] [] []) (Id [Token {tokStr = "nil", tokPos = (line 45, column 13)}] [] []),Id [Token {tokStr = "eStr", tokPos = (line 44, column 9)}] [] []:=StringNull,Id [Token {tokStr = "nil", tokPos = (line 45, column 13)}] [] []:=ListNull (Id [Token {tokStr = "[", tokPos = (line 45, column 7)},Token {tokStr = "__", tokPos = (line 45, column 8)},Token {tokStr = "]", tokPos = (line 45, column 10)}] [] [])}}