|| Generated Sapl file for StdCharList.icl


StdCharList.spaces !n_0 = StdList.repeatn n_0 ' '
StdCharList.cjustify !n_0 !s_1 = let margin_1_0 = <{StdInt.-_7}> n_0 (StdList.length_47 s_1), lmargin_1_1 = <{StdInt./_10}> margin_1_0 2 in <{StdList.++}> (StdCharList.spaces lmargin_1_1) (<{StdList.++}> s_1 (StdCharList.spaces (<{StdInt.-_7}> margin_1_0 lmargin_1_1)))
StdCharList.ljustify !n_0 !s_1 = <{StdList.++}> s_1 (StdCharList.spaces (<{StdInt.-_7}> n_0 (StdList.length_47 s_1)))
StdCharList.rjustify !n_0 !s_1 = <{StdList.++}> (StdCharList.spaces (<{StdInt.-_7}> n_0 (StdList.length_47 s_1))) s_1
StdCharList.flatlines !_x_0 = select _x_0 (\ a_1_0 x_1_1 = <{StdList.++}> a_1_0 (_predefined._Cons '\n' (StdCharList.flatlines x_1_1))) _predefined._Nil
StdCharList.mklines !_x_0 = select _x_0 (\ a_1_0 x_1_1 = if (<{StdChar.==_18}> a_1_0 '\n') (_predefined._Cons _predefined._Nil (StdCharList.mklines x_1_1)) (let result_2_0 = <{StdCharList._c;32;17_6}> x_1_1 in _predefined._Cons (_predefined._Cons a_1_0 (StdList.hd result_2_0)) (StdList.tl result_2_0))) _predefined._Nil
<{StdCharList._c;32;17_6}> !x_0 = select x_0 (\ _uv1_1_0 _uv2_1_1 = <{StdCharList._c;32;17_6_def0}> x_0) (_predefined._Cons _predefined._Nil _predefined._Nil)
<{StdCharList._c;32;17_6_def0}> !x_0 = StdCharList.mklines x_0


|| Converted Records