|| Generated Sapl file for PPrint.icl


PPrint.line = PPrint.Line False
PPrint.char !_x_0 = if (<{StdChar.==_18}> _x_0 '\n') PPrint.line (PPrint.char_def0 _x_0)
PPrint.char_def0 !_x_0 = PPrint.Char _x_0
PPrint.comma = PPrint.char ','
PPrint.rbracket = PPrint.char ']'
PPrint.lbracket = PPrint.char '['
PPrint.beside x_0 y_1 = PPrint.Cat x_0 y_1
<{PPrint.<->}> x_0 y_1 = PPrint.beside x_0 y_1
PPrint.anon_74 !f_0 !_x_1 = select _x_1 (\ a_1_0 b_1_1 = f_0 a_1_0 b_1_1)
PPrint.zipWith f_0 !xs_1 ys_2 = StdList.map (PPrint.anon_74 f_0) (StdList.zip2 xs_1 ys_2)
PPrint.anon_100 !f_0 g_1 x_2 = f_0 (g_1 x_2)
PPrint.linebreak = PPrint.Line True
<{PPrint.<$$>}> x_0 y_1 = <{PPrint.<->}> x_0 (<{PPrint.<->}> PPrint.linebreak y_1)
PPrint.empty = PPrint.Empty
PPrint.foldr1 f_0 !_x_1 = select _x_1 (\ x_1_0 _x_1_1 = select _x_1_1 (\ _uv1_2_0 _uv2_2_1 = PPrint.foldr1_def0 x_1_0 _x_1_1 f_0 _x_1) x_1_0) nomatch
PPrint.foldr1_def0 x_0 _x_1 f_2 !_x_3 = f_2 x_0 (PPrint.foldr1 f_2 _x_1)
PPrint.fold f_0 !_x_1 = select _x_1 (\ _uv1_1_0 _uv2_1_1 = PPrint.fold_def0 f_0 _x_1) PPrint.empty
PPrint.fold_def0 f_0 !_x_1 = PPrint.foldr1 f_0 _x_1
PPrint.vcat = PPrint.fold <{PPrint.<$$>}>
PPrint.anon_99 !f_0 g_1 x_2 = f_0 (g_1 x_2)
PPrint.anon_98 !f_0 g_1 x_2 = f_0 (g_1 x_2)
PPrint.anon_102 !g_0 x_1 = PPrint.flattenDoc (g_0 x_1)
PPrint.anon_103 !g_0 x_1 = PPrint.flattenDoc (g_0 x_1)
PPrint.flattenDoc !_x_0 = select _x_0 (PPrint.flattenDoc_def0 _x_0) (\ _uv1_1_0 = PPrint.flattenDoc_def0 _x_0) (\ _uv1_1_0 _uv2_1_1 = PPrint.flattenDoc_def0 _x_0) (\ break_1_0 = if break_1_0 PPrint.Empty (PPrint.Text 1 " ")) (\ x_1_0 y_1_1 = PPrint.Cat (PPrint.flattenDoc x_1_0) (PPrint.flattenDoc y_1_1)) (\ i_1_0 x_1_1 = PPrint.Nest i_1_0 (PPrint.flattenDoc x_1_1)) (\ x_1_0 y_1_1 = PPrint.flattenDoc x_1_0) (\ f_1_0 = PPrint.Column (PPrint.anon_102 f_1_0)) (\ f_1_0 = PPrint.Nesting (PPrint.anon_103 f_1_0))
PPrint.flattenDoc_def0 !_x_0 = _x_0
PPrint.group x_0 = PPrint.Union (PPrint.flattenDoc x_0) x_0
PPrint.anon_104 g_0 x_1 = PPrint.group (g_0 x_1)
PPrint.cat = PPrint.anon_104 PPrint.vcat
PPrint.nest !i_0 x_1 = PPrint.Nest i_0 x_1
PPrint.anon_80 d_0 !k_1 !i_2 = PPrint.nest (<{StdInt.-_7}> k_1 i_2) d_0
PPrint.nesting f_0 = PPrint.Nesting f_0
PPrint.anon_81 d_0 k_1 = PPrint.nesting (PPrint.anon_80 d_0 k_1)
PPrint.column f_0 = PPrint.Column f_0
PPrint.align d_0 = PPrint.column (PPrint.anon_81 d_0)
PPrint.encloseSep left_0 right_1 sep_2 !ds_3 = <{PPrint._c;54;7_110}> ds_3 left_0 right_1 sep_2
<{PPrint._c;54;7_110}> !ds_0 left_1 right_2 sep_3 = select ds_0 (\ d_1_0 _x_1_1 = select _x_1_1 (\ _uv1_2_0 _uv2_2_1 = <{PPrint._c;54;7_110_def0}> ds_0 left_1 right_2 sep_3) (<{PPrint.<->}> left_1 (<{PPrint.<->}> d_1_0 right_2))) (<{PPrint.<->}> left_1 right_2)
<{PPrint._c;54;7_110_def0}> !ds_0 left_1 right_2 sep_3 = PPrint.align (<{PPrint.<->}> (PPrint.cat (PPrint.zipWith <{PPrint.<->}> (_predefined._Cons left_1 (StdList.repeat sep_3)) ds_0)) right_2)
PPrint.list = PPrint.encloseSep PPrint.lbracket PPrint.rbracket PPrint.comma
PPrint.rparen = PPrint.char ')'
PPrint.lparen = PPrint.char '('
PPrint.tupled = PPrint.encloseSep PPrint.lparen PPrint.rparen PPrint.comma
PPrint.semi = PPrint.char ';'
PPrint.rbrace = PPrint.char '}'
PPrint.lbrace = PPrint.char '{'
PPrint.semiBraces = PPrint.encloseSep PPrint.lbrace PPrint.rbrace PPrint.semi
PPrint.punctuate p_0 !_x_1 = select _x_1 (\ d_1_0 _x_1_1 = select _x_1_1 (\ _uv1_2_0 _uv2_2_1 = PPrint.punctuate_def0 d_1_0 _x_1_1 p_0 _x_1) (_predefined._Cons d_1_0 _predefined._Nil)) _predefined._Nil
PPrint.punctuate_def0 d_0 _x_1 p_2 !_x_3 = _predefined._Cons (<{PPrint.<->}> d_0 p_2) (PPrint.punctuate p_2 _x_1)
PPrint.anon_101 !f_0 g_1 x_2 = f_0 (g_1 x_2)
<{PPrint.<$>}> x_0 y_1 = <{PPrint.<->}> x_0 (<{PPrint.<->}> PPrint.line y_1)
PPrint.vsep = PPrint.fold <{PPrint.<$>}>
PPrint.anon_105 g_0 x_1 = PPrint.group (g_0 x_1)
PPrint.sep = PPrint.anon_105 PPrint.vsep
PPrint.softline = PPrint.group PPrint.line
<{PPrint.</>}> x_0 y_1 = <{PPrint.<->}> x_0 (<{PPrint.<->}> PPrint.softline y_1)
PPrint.fillSep = PPrint.fold <{PPrint.</>}>
PPrint.space = PPrint.char ' '
<{PPrint.<+>}> x_0 y_1 = <{PPrint.<->}> x_0 (<{PPrint.<->}> PPrint.space y_1)
PPrint.hsep = PPrint.fold <{PPrint.<+>}>
PPrint.softbreak = PPrint.group PPrint.linebreak
<{PPrint.<//>}> x_0 y_1 = <{PPrint.<->}> x_0 (<{PPrint.<->}> PPrint.softbreak y_1)
PPrint.fillCat = PPrint.fold <{PPrint.<//>}>
PPrint.hcat = PPrint.fold <{PPrint.<->}>
PPrint.squote = PPrint.char '\''
PPrint.enclose l_0 r_1 x_2 = <{PPrint.<->}> l_0 (<{PPrint.<->}> x_2 r_1)
PPrint.squotes = PPrint.enclose PPrint.squote PPrint.squote
PPrint.dquote = PPrint.char '"'
PPrint.dquotes = PPrint.enclose PPrint.dquote PPrint.dquote
PPrint.braces = PPrint.enclose PPrint.lbrace PPrint.rbrace
PPrint.parens = PPrint.enclose PPrint.lparen PPrint.rparen
PPrint.rangle = PPrint.char '>'
PPrint.langle = PPrint.char '<'
PPrint.angles = PPrint.enclose PPrint.langle PPrint.rangle
PPrint.brackets = PPrint.enclose PPrint.lbracket PPrint.rbracket
PPrint.colon = PPrint.char ':'
PPrint.dot = PPrint.char '.'
PPrint.backslash = PPrint.char '\\'
PPrint.equals = PPrint.char '='
PPrint.text !_x_0 = if (<{StdString.==_2}> _x_0 "") PPrint.Empty (PPrint.text_def0 _x_0)
PPrint.text_def0 !_x_0 = PPrint.Text (_SystemArray.size_20 _x_0) _x_0
PPrint.str_75 s_0 fr_1 !to_2 !len_3 acc_4 = if (<{StdInt.==_16}> to_2 len_3) (<{PPrint.<->}> acc_4 (PPrint.text (<{StdString.%_10}> s_0 (_predefined._Tuple2 fr_1 (<{StdInt.-_7}> to_2 1))))) (if (<{StdChar.==_18}> (_SystemArray.select_19 s_0 to_2) '\n') (PPrint.str_75 s_0 (<{StdInt.+_6}> to_2 1) (<{StdInt.+_6}> to_2 1) len_3 (<{PPrint.<->}> acc_4 (<{PPrint.<->}> (PPrint.text (<{StdString.%_10}> s_0 (_predefined._Tuple2 fr_1 (<{StdInt.-_7}> to_2 1)))) PPrint.line))) (PPrint.str_75 s_0 fr_1 (<{StdInt.+_6}> to_2 1) len_3 acc_4))
PPrint.string !s_0 = PPrint.str_75 s_0 0 0 (_SystemArray.size_20 s_0) PPrint.empty
PPrint.bool !b_0 = PPrint.text (StdString.toString_8 b_0)
PPrint.int !i_0 = PPrint.text (StdString.toString_5 i_0)
PPrint.real !r_0 = PPrint.text (StdString.toString_7 r_0)
PPrint.spaceString !i_0 = _SystemArray.createArray_17 i_0 ' '
PPrint.anon_76 !f_0 !w_1 = if (<{StdInt.<_17}> f_0 w_1) (PPrint.nest f_0 PPrint.linebreak) (PPrint.text (PPrint.spaceString (<{StdInt.-_7}> f_0 w_1)))
PPrint.anon_78 !<{_v-_0}> !f_1 k1_2 k2_3 = f_1 (<{StdOverloaded.get_-_1}> <{_v-_0}> k2_3 k1_2)
PPrint.anon_106 !f_0 k1_1 k2_2 = f_0 (<{StdInt.-_7}> k2_2 k1_1)
PPrint.anon_79 f_0 d_1 k1_2 = <{PPrint.<->}> d_1 (PPrint.column (PPrint.anon_106 f_0 k1_2))
PPrint.width d_0 f_1 = PPrint.column (PPrint.anon_79 f_1 d_0)
PPrint.fillBreak f_0 x_1 = PPrint.width x_1 (PPrint.anon_76 f_0)
PPrint.anon_77 !f_0 !w_1 = if (StdBool.not (<{StdInt.<_17}> w_1 f_0)) PPrint.empty (PPrint.text (PPrint.spaceString (<{StdInt.-_7}> f_0 w_1)))
PPrint.fill f_0 d_1 = PPrint.width d_1 (PPrint.anon_77 f_0)
PPrint.hang i_0 d_1 = PPrint.align (PPrint.nest i_0 d_1)
PPrint.indent i_0 d_1 = PPrint.hang i_0 (<{PPrint.<->}> (PPrint.text (PPrint.spaceString i_0)) d_1)
PPrint.fits !w_0 x_1 = if (<{StdInt.<_17}> w_0 0) False (select x_1 True (\ c_1_0 x_1_1 = PPrint.fits (<{StdInt.-_7}> w_0 1) x_1_1) (\ l_1_0 s_1_1 x_1_2 = PPrint.fits (<{StdInt.-_7}> w_0 l_1_0) x_1_2) (\ i_1_0 x_1_1 = True))
PPrint.nicest_83 !w_0 !r_1 !n_2 !k_3 x_4 y_5 = let x_1_0 = <{StdInt.-_7}> w_0 k_3, y_1_1 = <{StdInt.+_6}> (<{StdInt.-_7}> r_1 k_3) n_2 in PPrint.nicest_83_select0 x_1_0 y_1_1 w_0 r_1 n_2 k_3 x_4 y_5
PPrint.nicest_83_select0 x_1_0 y_1_1 !w_0 !r_1 !n_2 !k_3 x_4 y_5 = if (PPrint.fits (<{PPrint._c;48;16_111}> (<{StdInt.<_17}> x_1_0 y_1_1) x_1_0 y_1_1) x_4) x_4 y_5
<{PPrint._c;48;16_111}> !_x_0 x_1 y_2 = if (<{StdBool.==_3}> _x_0 True) x_1 (<{PPrint._c;48;16_111_def0}> _x_0 x_1 y_2)
<{PPrint._c;48;16_111_def0}> !_x_0 x_1 y_2 = y_2
PPrint.best_82 w_0 r_1 n_2 k_3 !_x_4 = select _x_4 PPrint.SEmpty (\ i_1_0 d_1_1 ds_1_2 = <{PPrint._c;385;11_112}> d_1_1 w_0 r_1 n_2 k_3 ds_1_2 i_1_0)
<{PPrint._c;385;11_112}> !d_0 w_1 r_2 n_3 k_4 ds_5 i_6 = select d_0 (PPrint.best_82 w_1 r_2 n_3 k_4 ds_5) (\ c_1_0 = PPrint.SChar c_1_0 (PPrint.best_82 w_1 r_2 n_3 (<{StdInt.+_6}> k_4 1) ds_5)) (\ l_1_0 s_1_1 = PPrint.SText l_1_0 s_1_1 (PPrint.best_82 w_1 r_2 n_3 (<{StdInt.+_6}> k_4 l_1_0) ds_5)) (\ _x_1_0 = PPrint.SLine i_6 (PPrint.best_82 w_1 r_2 i_6 i_6 ds_5)) (\ x_1_0 y_1_1 = PPrint.best_82 w_1 r_2 n_3 k_4 (PPrint.Cons i_6 x_1_0 (PPrint.Cons i_6 y_1_1 ds_5))) (\ j_1_0 x_1_1 = PPrint.best_82 w_1 r_2 n_3 k_4 (PPrint.Cons (<{StdInt.+_6}> i_6 j_1_0) x_1_1 ds_5)) (\ x_1_0 y_1_1 = PPrint.nicest_83 w_1 r_2 n_3 k_4 (PPrint.best_82 w_1 r_2 n_3 k_4 (PPrint.Cons i_6 x_1_0 ds_5)) (PPrint.best_82 w_1 r_2 n_3 k_4 (PPrint.Cons i_6 y_1_1 ds_5))) (\ f_1_0 = PPrint.best_82 w_1 r_2 n_3 k_4 (PPrint.Cons i_6 (f_1_0 k_4) ds_5)) (\ f_1_0 = PPrint.best_82 w_1 r_2 n_3 k_4 (PPrint.Cons i_6 (f_1_0 i_6) ds_5))
PPrint.renderPretty rfrac_0 w_1 !x_2 = let x_1_0 = 0, y_1_1 = StdInt.toInt_22 (<{StdReal.*_4}> (StdReal.toReal_13 w_1) rfrac_0), y_1_2 = <{PPrint._c;48;16_113}> (<{StdInt.<_17}> w_1 y_1_1) w_1 y_1_1 in PPrint.best_82 w_1 (<{PPrint._c;51;16_114}> (<{StdInt.<_17}> x_1_0 y_1_2) y_1_2 x_1_0) 0 0 (PPrint.Cons 0 x_2 PPrint.Nil)
<{PPrint._c;51;16_114}> !_x_0 y_1 x_2 = if (<{StdBool.==_3}> _x_0 True) y_1 (<{PPrint._c;51;16_114_def0}> _x_0 y_1 x_2)
<{PPrint._c;51;16_114_def0}> !_x_0 y_1 x_2 = x_2
<{PPrint._c;48;16_113}> !_x_0 w_1 y_2 = if (<{StdBool.==_3}> _x_0 True) w_1 (<{PPrint._c;48;16_113_def0}> _x_0 w_1 y_2)
<{PPrint._c;48;16_113_def0}> !_x_0 w_1 y_2 = y_2
PPrint.scan_84 k_0 !_x_1 = select _x_1 (\ d_1_0 ds_1_1 = <{PPrint._c;427;23_115}> d_1_0 k_0 ds_1_1) PPrint.SEmpty
<{PPrint._c;427;23_115}> !d_0 k_1 ds_2 = select d_0 (PPrint.scan_84 k_1 ds_2) (\ c_1_0 = PPrint.SChar c_1_0 (PPrint.scan_84 (<{StdInt.+_6}> k_1 1) ds_2)) (\ l_1_0 s_1_1 = PPrint.SText l_1_0 s_1_1 (PPrint.scan_84 (<{StdInt.+_6}> k_1 l_1_0) ds_2)) (\ _x_1_0 = PPrint.SLine 0 (PPrint.scan_84 0 ds_2)) (\ x_1_0 y_1_1 = PPrint.scan_84 k_1 (_predefined._Cons x_1_0 (_predefined._Cons y_1_1 ds_2))) (\ j_1_0 x_1_1 = PPrint.scan_84 k_1 (_predefined._Cons x_1_1 ds_2)) (\ x_1_0 y_1_1 = PPrint.scan_84 k_1 (_predefined._Cons y_1_1 ds_2)) (\ f_1_0 = PPrint.scan_84 k_1 (_predefined._Cons (f_1_0 k_1) ds_2)) (\ f_1_0 = PPrint.scan_84 k_1 (_predefined._Cons (f_1_0 0) ds_2))
PPrint.renderCompact !x_0 = PPrint.scan_84 0 (_predefined._Cons x_0 _predefined._Nil)
PPrint.displaySize_87 !_x_0 = select _x_0 0 (\ c_1_0 x_1_1 = <{StdInt.+_6}> 1 (PPrint.displaySize_87 x_1_1)) (\ l_1_0 s_1_1 x_1_2 = <{StdInt.+_6}> (_SystemArray.size_20 s_1_1) (PPrint.displaySize_87 x_1_2)) (\ i_1_0 x_1_1 = <{StdInt.+_6}> (<{StdInt.+_6}> 1 i_1_0) (PPrint.displaySize_87 x_1_1))
PPrint.copyChars_86 !_vArray_0 !_vArray_1 offset_2 !i_3 !num_4 src_5 dst_6 = if (<{StdInt.==_16}> i_3 num_4) dst_6 (PPrint.copyChars_86 _vArray_0 _vArray_1 offset_2 (<{StdInt.+_6}> i_3 StdInt.one_11) num_4 src_5 (_SystemArray.get_update_5 _vArray_0 dst_6 (<{StdInt.+_6}> offset_2 i_3) (_SystemArray.get_select_3 _vArray_1 src_5 i_3)))
PPrint.copyChars_107 !_vArray_0 offset_1 !i_2 !num_3 src_4 dst_5 = if (<{StdInt.==_16}> i_2 num_3) dst_5 (PPrint.copyChars_107 _vArray_0 offset_1 (<{StdInt.+_6}> i_2 StdInt.one_11) num_3 src_4 (_SystemArray.get_update_5 _vArray_0 dst_5 (<{StdInt.+_6}> offset_1 i_2) (_SystemArray.select_19 src_4 i_2)))
<{PPrint.display`_85}> !_vArray_0 !_x_1 dst_2 offset_3 = select _x_1 dst_2 (\ c_1_0 x_1_1 = <{PPrint.display`_85}> _vArray_0 x_1_1 (_SystemArray.get_update_5 _vArray_0 dst_2 offset_3 c_1_0) (<{StdInt.+_6}> offset_3 1)) (\ l_1_0 s_1_1 x_1_2 = <{PPrint.display`_85}> _vArray_0 x_1_2 (PPrint.copyChars_107 _vArray_0 offset_3 0 (_SystemArray.size_20 s_1_1) s_1_1 dst_2) (<{StdInt.+_6}> offset_3 (_SystemArray.size_20 s_1_1))) (\ i_1_0 x_1_1 = <{PPrint.display`_85}> _vArray_0 x_1_1 (PPrint.copyChars_107 _vArray_0 offset_3 0 (<{StdInt.+_6}> i_1_0 1) (_SystemArray.update_21 (PPrint.spaceString (<{StdInt.+_6}> i_1_0 1)) 0 '\n') dst_2) (<{StdInt.+_6}> (<{StdInt.+_6}> offset_3 i_1_0) 1))
PPrint.copyChars_109 offset_0 !i_1 !num_2 src_3 !dst_4 = if (<{StdInt.==_16}> i_1 num_2) dst_4 (PPrint.copyChars_109 offset_0 (<{StdInt.+_6}> i_1 StdInt.one_11) num_2 src_3 (_SystemArray.update_21 dst_4 (<{StdInt.+_6}> offset_0 i_1) (_SystemArray.select_19 src_3 i_1)))
<{PPrint.display`_108}> !_x_0 !dst_1 offset_2 = select _x_0 dst_1 (\ c_1_0 x_1_1 = <{PPrint.display`_108}> x_1_1 (_SystemArray.update_21 dst_1 offset_2 c_1_0) (<{StdInt.+_6}> offset_2 1)) (\ l_1_0 s_1_1 x_1_2 = <{PPrint.display`_108}> x_1_2 (PPrint.copyChars_109 offset_2 0 (_SystemArray.size_20 s_1_1) s_1_1 dst_1) (<{StdInt.+_6}> offset_2 (_SystemArray.size_20 s_1_1))) (\ i_1_0 x_1_1 = <{PPrint.display`_108}> x_1_1 (PPrint.copyChars_109 offset_2 0 (<{StdInt.+_6}> i_1_0 1) (_SystemArray.update_21 (PPrint.spaceString (<{StdInt.+_6}> i_1_0 1)) 0 '\n') dst_1) (<{StdInt.+_6}> (<{StdInt.+_6}> offset_2 i_1_0) 1))
PPrint.display !sdoc_0 = <{PPrint.display`_108}> sdoc_0 (_SystemArray.createArray_17 (PPrint.displaySize_87 sdoc_0) '\000') 0
PPrint.pretty_89 !_vPretty_0 !xs_1 = PPrint.list (StdList.map (PPrint.get_pretty_0 _vPretty_0) xs_1)
PPrint.pretty_90 !doc_0 = doc_0
PPrint.pretty_91 !b_0 = PPrint.bool b_0
PPrint.pretty_92 !c_0 = PPrint.char c_0
PPrint.pretty_93 !i_0 = PPrint.int i_0
PPrint.pretty_94 !r_0 = PPrint.real r_0
PPrint.pretty_95 !_vPretty_0 !_vPretty_1 !_x_2 = select _x_2 (\ x_1_0 y_1_1 = PPrint.tupled (_predefined._Cons (PPrint.get_pretty_0 _vPretty_0 x_1_0) (_predefined._Cons (PPrint.get_pretty_0 _vPretty_1 y_1_1) _predefined._Nil)))
PPrint.pretty_96 !_vPretty_0 !_vPretty_1 !_vPretty_2 !_x_3 = select _x_3 (\ x_1_0 y_1_1 z_1_2 = PPrint.tupled (_predefined._Cons (PPrint.get_pretty_0 _vPretty_0 x_1_0) (_predefined._Cons (PPrint.get_pretty_0 _vPretty_1 y_1_1) (_predefined._Cons (PPrint.get_pretty_0 _vPretty_2 z_1_2) _predefined._Nil))))
PPrint.pretty_97 !_vPretty_0 !_x_1 = select _x_1 PPrint.empty (\ x_1_0 = PPrint.get_pretty_0 _vPretty_0 x_1_0)

:: PPrint.Doc = PPrint.Empty | PPrint.Char a1 | PPrint.Text a1 a2 | PPrint.Line a1 | PPrint.Cat a1 a2 | PPrint.Nest a1 a2 | PPrint.Union a1 a2 | PPrint.Column a1 | PPrint.Nesting a1
:: PPrint.SimpleDoc = PPrint.SEmpty | PPrint.SChar a1 a2 | PPrint.SText a1 a2 a3 | PPrint.SLine a1 a2
:: PPrint.Docs = PPrint.Nil | PPrint.Cons a1 a2 a3

|| Converted Records
:: <{PPrint.Pretty;}> = {PPrint.pretty}
PPrint.get_pretty_0 rec = select rec (\ a1 = a1)
PPrint.set_pretty_0 rec val = select rec (\ a1 = <{PPrint.Pretty;}>  val)