|| Generated Sapl file for StdFile.icl StdFile.freopen f_0 m_1 = error "no ABCCodeExpr" StdFile.freadc f_0 = error "no ABCCodeExpr" StdFile.freadi f_0 = error "no ABCCodeExpr" StdFile.freadr f_0 = error "no ABCCodeExpr" StdFile.freads f_0 l_1 = error "no ABCCodeExpr" StdFile.freadsubstring i_0 n_1 s_2 f_3 = error "no ABCCodeExpr" StdFile.freadline f_0 = _predefined__Tuple2 (fread f_0) f_0 StdFile.fwritec c_0 f_1 = error "no ABCCodeExpr" StdFile.fwritei i_0 f_1 = error "no ABCCodeExpr" StdFile.fwriter r_0 f_1 = error "no ABCCodeExpr" StdFile.fwrites s_0 f_1 = fwrite 0 s_0 StdFile.fwritesubstring i_0 n_1 s_2 f_3 = error "no ABCCodeExpr" StdFile.fend f_0 = error "no ABCCodeExpr" StdFile.ferror f_0 = error "no ABCCodeExpr" StdFile.fposition f_0 = error "no ABCCodeExpr" StdFile.fseek f_0 p_1 m_2 = error "no ABCCodeExpr" StdFile.stderr = error "no ABCCodeExpr" StdFile.sfreadc f_0 = error "no ABCCodeExpr" StdFile.sfreadi f_0 = error "no ABCCodeExpr" StdFile.sfreadr f_0 = error "no ABCCodeExpr" StdFile.sfreads f_0 i_1 = error "no ABCCodeExpr" StdFile.sfreadline f_0 = error "no ABCCodeExpr" StdFile.sfseek f_0 i1_1 i2_2 = error "no ABCCodeExpr" StdFile.sfend f_0 = error "no ABCCodeExpr" StdFile.sfposition f_0 = error "no ABCCodeExpr" StdFile.fshare f_0 = error "no ABCCodeExpr" StdFile.fopen_ s_0 i_1 = error "no ABCCodeExpr" StdFile.fclose_ f_0 = 0 StdFile.stdio_ = 0 StdFile.sfopen_ s_0 i_1 = error "no ABCCodeExpr" StdFile.fclose_26 f_0 w_1 = _predefined__Tuple2 (StdFile.fclose_ f_0) w_1 StdFile.fopen_27 s_0 i_1 w_2 = let _x_10 = StdFile.fopen_ s_0 i_1 in _predefined__Tuple3 (_predefined_tupsels2v0 _x_10) (_predefined_tupsels2v1 _x_10) w_2 StdFile.sfopen_28 s_0 i_1 w_2 = let _x_10 = StdFile.sfopen_ s_0 i_1 in _predefined__Tuple3 (_predefined_tupsels2v0 _x_10) (_predefined_tupsels2v1 _x_10) w_2 StdFile.stdio_29 w_0 = _predefined__Tuple2 StdFile.stdio_ w_0 StdFile.fclose_30 f_0 w_1 = _predefined__Tuple2 True (add f_0 w_1) StdFile.fopen_31 s_0 i_1 w_2 = let _x_10 = StdFile.fopen_ s_0 i_1 in _predefined__Tuple3 (_predefined_tupsels2v0 _x_10) (_predefined_tupsels2v1 _x_10) w_2 StdFile.sfopen_32 s_0 i_1 w_2 = let _x_10 = StdFile.sfopen_ s_0 i_1 in _predefined__Tuple3 (_predefined_tupsels2v0 _x_10) (_predefined_tupsels2v1 _x_10) w_2 StdFile.stdio_33 w_0 = _predefined__Tuple2 StdFile.stdio_ w_0 StdFile.do_files2_55 filesRWS_0 r_1 world_2 = _predefined__Tuple2 r_1 world_2 StdFile.accFiles_34 accfun_0 world_1 = let files_10 = StdFile.Files, _x_11 = accfun_0 files_10 in StdFile.do_files2_55 (_predefined_tupsels2v1 _x_11) (_predefined_tupsels2v0 _x_11) world_1 StdFile.do_files_56 filesRWS_0 world_1 = error "no ABCCodeExpr" StdFile.appFiles_35 appfun_0 world_1 = let files1_10 = StdFile.Files, files_11 = appfun_0 files1_10 in StdFile.do_files_56 files_11 world_1 <{StdFile.<<<_36}> file_0 i_1 = error "no ABCCodeExpr" <{StdFile.<<<_37}> file_0 c_1 = error "no ABCCodeExpr" <{StdFile.<<<_38}> file_0 s_1 = error "no ABCCodeExpr" <{StdFile.<<<_39}> file_0 r_1 = error "no ABCCodeExpr" <{StdFile.TD;Files_40}> _x_0 = StdCleanTypes__CTTypeDef "Files" 0 True (StdCleanTypes_CTAlgType (_predefined._Cons (StdCleanTypes__CTConsDef (StdCleanTypes_CTToCons StdFile.Files) _predefined._Nil 0) _predefined._Nil)) StdFile.Files f1 = f1 || Converted Records :: StdFile.FileSystem = <{StdFile.FileSystem;}> a1 a2 a3 a4 StdFile.get_fclose_0 rec = select rec (\ a1 a2 a3 a4 = a1) StdFile.get_fopen_1 rec = select rec (\ a1 a2 a3 a4 = a2) StdFile.get_sfopen_2 rec = select rec (\ a1 a2 a3 a4 = a3) StdFile.get_stdio_3 rec = select rec (\ a1 a2 a3 a4 = a4) StdFile.set_fclose_0 rec val = select rec (\ a1 a2 a3 a4 = <{StdFile.FileSystem;}> val a2 a3 a4) StdFile.set_fopen_1 rec val = select rec (\ a1 a2 a3 a4 = <{StdFile.FileSystem;}> a1 val a3 a4) StdFile.set_sfopen_2 rec val = select rec (\ a1 a2 a3 a4 = <{StdFile.FileSystem;}> a1 a2 val a4) StdFile.set_stdio_3 rec val = select rec (\ a1 a2 a3 a4 = <{StdFile.FileSystem;}> a1 a2 a3 val) :: StdFile.FileEnv = <{StdFile.FileEnv;}> a1 a2 StdFile.get_accFiles_4 rec = select rec (\ a1 a2 = a1) StdFile.get_appFiles_5 rec = select rec (\ a1 a2 = a2) StdFile.set_accFiles_4 rec val = select rec (\ a1 a2 = <{StdFile.FileEnv;}> val a2) StdFile.set_appFiles_5 rec val = select rec (\ a1 a2 = <{StdFile.FileEnv;}> a1 val) :: StdFile.append =<{StdFile.<<<;}> a1 <{StdFile.get_<<<_6}> rec = select rec (\ a1 = a1) <{StdFile.set_<<<_6}> rec val = select rec (\ a1 = <{StdFile.<<<;}> val)