|| Generated Sapl file for FastString.icl


FastString.startsWith__5 !<{_v==_0}> !_vArray_1 !_vArray_2 start_3 str_4 !_x_5 = if (<{StdInt.==_16}> _x_5 -1) True (FastString.startsWith__5_def0 <{_v==_0}> _vArray_1 _vArray_2 start_3 str_4 _x_5)
FastString.startsWith__5_def0 !<{_v==_0}> !_vArray_1 !_vArray_2 start_3 str_4 !_x_5 = if (<{StdOverloaded.get_==_6}> <{_v==_0}> (_SystemArray.get_select_3 _vArray_2 start_3 _x_5) (_SystemArray.get_select_3 _vArray_1 str_4 _x_5)) (FastString.startsWith__5 <{_v==_0}> _vArray_1 _vArray_2 start_3 str_4 (<{StdInt.-_7}> _x_5 1)) False
FastString.startsWith__8 !_vArray_0 !_vArray_1 start_2 str_3 !_x_4 = if (<{StdInt.==_16}> _x_4 -1) True (FastString.startsWith__8_def0 _vArray_0 _vArray_1 start_2 str_3 _x_4)
FastString.startsWith__8_def0 !_vArray_0 !_vArray_1 start_2 str_3 !_x_4 = if (<{StdChar.==_18}> (_SystemArray.get_select_3 _vArray_1 start_2 _x_4) (_SystemArray.get_select_3 _vArray_0 str_3 _x_4)) (FastString.startsWith__8 _vArray_0 _vArray_1 start_2 str_3 (<{StdInt.-_7}> _x_4 1)) False
FastString.startsWith__9 !_vArray_0 start_1 str_2 !_x_3 = if (<{StdInt.==_16}> _x_3 -1) True (FastString.startsWith__9_def0 _vArray_0 start_1 str_2 _x_3)
FastString.startsWith__9_def0 !_vArray_0 start_1 str_2 !_x_3 = if (<{StdChar.==_18}> (_SystemArray.get_select_3 _vArray_0 start_1 _x_3) (_SystemArray.select_19 str_2 _x_3)) (FastString.startsWith__9 _vArray_0 start_1 str_2 (<{StdInt.-_7}> _x_3 1)) False
FastString.startsWith__10 start_0 str_1 !_x_2 = if (<{StdInt.==_16}> _x_2 -1) True (FastString.startsWith__10_def0 start_0 str_1 _x_2)
FastString.startsWith__10_def0 start_0 str_1 !_x_2 = if (<{StdChar.==_18}> (_SystemArray.select_19 start_0 _x_2) (_SystemArray.select_19 str_1 _x_2)) (FastString.startsWith__10 start_0 str_1 (<{StdInt.-_7}> _x_2 1)) False
FastString.startsWith !start_0 !str_1 = if (StdBool.not (<{StdInt.<_17}> (_SystemArray.size_20 str_1) (_SystemArray.size_20 start_0))) (FastString.startsWith__10 start_0 str_1 (<{StdInt.-_7}> (_SystemArray.size_20 start_0) 1)) False
FastString.endsWith__6 !<{_v==_0}> !_vArray_1 !_vArray_2 end_3 str_4 !_x_5 _x_6 = if (<{StdInt.==_16}> _x_5 -1) True (FastString.endsWith__6_def0 <{_v==_0}> _vArray_1 _vArray_2 end_3 str_4 _x_5 _x_6)
FastString.endsWith__6_def0 !<{_v==_0}> !_vArray_1 !_vArray_2 end_3 str_4 !_x_5 _x_6 = if (<{StdOverloaded.get_==_6}> <{_v==_0}> (_SystemArray.get_select_3 _vArray_2 end_3 _x_5) (_SystemArray.get_select_3 _vArray_1 str_4 _x_6)) (FastString.endsWith__6 <{_v==_0}> _vArray_1 _vArray_2 end_3 str_4 (<{StdInt.-_7}> _x_5 1) (<{StdInt.-_7}> _x_6 1)) False
FastString.endsWith__11 !_vArray_0 !_vArray_1 end_2 str_3 !_x_4 _x_5 = if (<{StdInt.==_16}> _x_4 -1) True (FastString.endsWith__11_def0 _vArray_0 _vArray_1 end_2 str_3 _x_4 _x_5)
FastString.endsWith__11_def0 !_vArray_0 !_vArray_1 end_2 str_3 !_x_4 _x_5 = if (<{StdChar.==_18}> (_SystemArray.get_select_3 _vArray_1 end_2 _x_4) (_SystemArray.get_select_3 _vArray_0 str_3 _x_5)) (FastString.endsWith__11 _vArray_0 _vArray_1 end_2 str_3 (<{StdInt.-_7}> _x_4 1) (<{StdInt.-_7}> _x_5 1)) False
FastString.endsWith__12 !_vArray_0 end_1 str_2 !_x_3 _x_4 = if (<{StdInt.==_16}> _x_3 -1) True (FastString.endsWith__12_def0 _vArray_0 end_1 str_2 _x_3 _x_4)
FastString.endsWith__12_def0 !_vArray_0 end_1 str_2 !_x_3 _x_4 = if (<{StdChar.==_18}> (_SystemArray.get_select_3 _vArray_0 end_1 _x_3) (_SystemArray.select_19 str_2 _x_4)) (FastString.endsWith__12 _vArray_0 end_1 str_2 (<{StdInt.-_7}> _x_3 1) (<{StdInt.-_7}> _x_4 1)) False
FastString.endsWith__13 end_0 str_1 !_x_2 _x_3 = if (<{StdInt.==_16}> _x_2 -1) True (FastString.endsWith__13_def0 end_0 str_1 _x_2 _x_3)
FastString.endsWith__13_def0 end_0 str_1 !_x_2 _x_3 = if (<{StdChar.==_18}> (_SystemArray.select_19 end_0 _x_2) (_SystemArray.select_19 str_1 _x_3)) (FastString.endsWith__13 end_0 str_1 (<{StdInt.-_7}> _x_2 1) (<{StdInt.-_7}> _x_3 1)) False
FastString.endsWith !end_0 !str_1 = if (StdBool.not (<{StdInt.<_17}> (_SystemArray.size_20 str_1) (_SystemArray.size_20 end_0))) (FastString.endsWith__13 end_0 str_1 (<{StdInt.-_7}> (_SystemArray.size_20 end_0) 1) (<{StdInt.-_7}> (_SystemArray.size_20 str_1) 1)) False
FastString.charIndex !s_0 !i_1 !char_2 = if (<{StdInt.==_16}> i_1 (_SystemArray.size_20 s_0)) (_predefined._Tuple2 False (_SystemArray.size_20 s_0)) (if (<{StdInt.<_17}> i_1 (_SystemArray.size_20 s_0)) (if (<{StdChar.==_18}> (_SystemArray.select_19 s_0 i_1) char_2) (_predefined._Tuple2 True i_1) (FastString.charIndex s_0 (<{StdInt.+_6}> i_1 1) char_2)) (StdMisc.abort "CharIndex: index out of range"))
FastString.charIndexBackwards !s_0 !i_1 !char_2 = if (<{StdInt.==_16}> i_1 -1) (_predefined._Tuple2 False (_SystemArray.size_20 s_0)) (if (<{StdChar.==_18}> (_SystemArray.select_19 s_0 i_1) char_2) (_predefined._Tuple2 True i_1) (FastString.charIndexBackwards s_0 (<{StdInt.-_7}> i_1 1) char_2))
FastString._lc_7 !<{_v==_0}> !_vArray_1 !_vArray_2 s1_3 p_4 s2_5 !g_i_6 !g_s_7 = if (StdBool.not (<{StdInt.<_17}> g_s_7 g_i_6)) (_predefined._Cons (<{StdOverloaded.get_==_6}> <{_v==_0}> (_SystemArray.get_select_3 _vArray_2 s1_3 g_i_6) (_SystemArray.get_select_3 _vArray_1 s2_5 (<{StdInt.+_6}> p_4 g_i_6))) (FastString._lc_7 <{_v==_0}> _vArray_1 _vArray_2 s1_3 p_4 s2_5 (<{StdInt.+_6}> g_i_6 StdInt.one_11) g_s_7)) _predefined._Nil
FastString._lc_14 !_vArray_0 !_vArray_1 s1_2 p_3 s2_4 !g_i_5 !g_s_6 = if (StdBool.not (<{StdInt.<_17}> g_s_6 g_i_5)) (_predefined._Cons (<{StdChar.==_18}> (_SystemArray.get_select_3 _vArray_1 s1_2 g_i_5) (_SystemArray.get_select_3 _vArray_0 s2_4 (<{StdInt.+_6}> p_3 g_i_5))) (FastString._lc_14 _vArray_0 _vArray_1 s1_2 p_3 s2_4 (<{StdInt.+_6}> g_i_5 StdInt.one_11) g_s_6)) _predefined._Nil
FastString._lc_15 !_vArray_0 s1_1 p_2 s2_3 !g_i_4 !g_s_5 = if (StdBool.not (<{StdInt.<_17}> g_s_5 g_i_4)) (_predefined._Cons (<{StdChar.==_18}> (_SystemArray.get_select_3 _vArray_0 s1_1 g_i_4) (_SystemArray.select_19 s2_3 (<{StdInt.+_6}> p_2 g_i_4))) (FastString._lc_15 _vArray_0 s1_1 p_2 s2_3 (<{StdInt.+_6}> g_i_4 StdInt.one_11) g_s_5)) _predefined._Nil
FastString._lc_16 s1_0 p_1 s2_2 !g_i_3 !g_s_4 = if (StdBool.not (<{StdInt.<_17}> g_s_4 g_i_3)) (_predefined._Cons (<{StdChar.==_18}> (_SystemArray.select_19 s1_0 g_i_3) (_SystemArray.select_19 s2_2 (<{StdInt.+_6}> p_1 g_i_3))) (FastString._lc_16 s1_0 p_1 s2_2 (<{StdInt.+_6}> g_i_3 StdInt.one_11) g_s_4)) _predefined._Nil
FastString.matchAt !s1_0 !s2_1 !p_2 = if (<{StdInt.<_17}> (_SystemArray.size_20 s2_1) (<{StdInt.+_6}> (_SystemArray.size_20 s1_0) p_2)) False (StdList.and (FastString._lc_16 s1_0 p_2 s2_1 0 (<{StdInt.-_7}> (_SystemArray.size_20 s1_0) 1)))


|| Converted Records