From fa9546ba58d0a8f597a1503cee5c069144e8921e Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Mon, 11 Feb 2008 18:04:47 +0100
Subject: [PATCH] nop
---
src/.depend | 58 -
src/TAGS | 3973 -----------------------------------------------
src/compile.ml | 4 +-
src/evalType.ml | 8 +-
4 files changed, 4 insertions(+), 4039 deletions(-)
delete mode 100644 src/.depend
delete mode 100644 src/TAGS
diff --git a/src/.depend b/src/.depend
deleted file mode 100644
index 0e90aa89..00000000
--- a/src/.depend
+++ /dev/null
@@ -1,58 +0,0 @@
-./verbose.cmo: ./verbose.cmi
-./verbose.cmx: ./verbose.cmi
-./lxm.cmo: ./lxm.cmi
-./lxm.cmx: ./lxm.cmi
-./errors.cmo: lxm.cmi
-./errors.cmx: lxm.cmx
-../obj-i386-linux-gcc3/parser.cmo: utils.cmx syntaxe.cmx lxm.cmi errors.cmx \
- ../obj-i386-linux-gcc3/parser.cmi
-../obj-i386-linux-gcc3/parser.cmx: utils.cmx syntaxe.cmx lxm.cmx errors.cmx \
- ../obj-i386-linux-gcc3/parser.cmi
-../obj-i386-linux-gcc3/lexer.cmo: lxm.cmi
-../obj-i386-linux-gcc3/lexer.cmx: lxm.cmx
-./syntaxe.cmo: lxm.cmi errors.cmx
-./syntaxe.cmx: lxm.cmx errors.cmx
-./dump.cmo: syntaxe.cmx lxm.cmi errors.cmx
-./dump.cmx: syntaxe.cmx lxm.cmx errors.cmx
-./compUtils.cmo: syntaxe.cmx lxm.cmi errors.cmx ./compUtils.cmi
-./compUtils.cmx: syntaxe.cmx lxm.cmx errors.cmx ./compUtils.cmi
-./compUtils.cmo: syntaxe.cmx lxm.cmi errors.cmx ./compUtils.cmi
-./compUtils.cmx: syntaxe.cmx lxm.cmx errors.cmx ./compUtils.cmi
-./expandPack.cmi: syntaxe.cmx lxm.cmi
-./expandPack.cmo: syntaxe.cmx lxm.cmi errors.cmx compUtils.cmi \
- ./expandPack.cmi
-./expandPack.cmx: syntaxe.cmx lxm.cmx errors.cmx compUtils.cmx \
- ./expandPack.cmi
-./symbolTab.cmi: syntaxe.cmx lxm.cmi compUtils.cmi
-./symbolTab.cmo: syntaxe.cmx lxm.cmi errors.cmx compUtils.cmi ./symbolTab.cmi
-./symbolTab.cmx: syntaxe.cmx lxm.cmx errors.cmx compUtils.cmx ./symbolTab.cmi
-./srcTab.cmi: syntaxe.cmx symbolTab.cmi
-./compileData.cmo: syntaxe.cmx lxm.cmi errors.cmx dump.cmx compUtils.cmi
-./compileData.cmx: syntaxe.cmx lxm.cmx errors.cmx dump.cmx compUtils.cmx
-./srcTab.cmo: verbose.cmi syntaxe.cmx symbolTab.cmi lxm.cmi expandPack.cmi \
- errors.cmx compUtils.cmi ./srcTab.cmi
-./srcTab.cmx: verbose.cmx syntaxe.cmx symbolTab.cmx lxm.cmx expandPack.cmx \
- errors.cmx compUtils.cmx ./srcTab.cmi
-./evalConst.cmi: syntaxe.cmx lxm.cmi compileData.cmx
-./evalConst.cmo: utils.cmx syntaxe.cmx lxm.cmi errors.cmx compileData.cmx \
- compUtils.cmi ./evalConst.cmi
-./evalConst.cmx: utils.cmx syntaxe.cmx lxm.cmx errors.cmx compileData.cmx \
- compUtils.cmx ./evalConst.cmi
-./evalType.cmi: syntaxe.cmx compileData.cmx
-./evalType.cmo: syntaxe.cmx lxm.cmi evalConst.cmi errors.cmx compileData.cmx \
- ./evalType.cmi
-./evalType.cmx: syntaxe.cmx lxm.cmx evalConst.cmx errors.cmx compileData.cmx \
- ./evalType.cmi
-./lazyCompiler.cmo: syntaxe.cmx symbolTab.cmi srcTab.cmi lxm.cmi evalType.cmi \
- evalConst.cmi errors.cmx compileData.cmx compUtils.cmi ./lazyCompiler.cmi
-./lazyCompiler.cmx: syntaxe.cmx symbolTab.cmx srcTab.cmx lxm.cmx evalType.cmx \
- evalConst.cmx errors.cmx compileData.cmx compUtils.cmx ./lazyCompiler.cmi
-./lazyCompiler.cmi: srcTab.cmi lxm.cmi compileData.cmx compUtils.cmi
-./compile.cmo: verbose.cmi syntaxe.cmx srcTab.cmi lxm.cmi lazyCompiler.cmi \
- errors.cmx compileData.cmx compUtils.cmi
-./compile.cmx: verbose.cmx syntaxe.cmx srcTab.cmx lxm.cmx lazyCompiler.cmx \
- errors.cmx compileData.cmx compUtils.cmx
-./main.cmo: verbose.cmi syntaxe.cmx lxm.cmi errors.cmx dump.cmx compile.cmx \
- ./main.cmi
-./main.cmx: verbose.cmx syntaxe.cmx lxm.cmx errors.cmx dump.cmx compile.cmx \
- ./main.cmi
diff --git a/src/TAGS b/src/TAGS
deleted file mode 100644
index 93611edc..00000000
--- a/src/TAGS
+++ /dev/null
@@ -1,3973 +0,0 @@
-
-./compile.ml,78
-Compile1,0
-let rec first_pack_infirst_pack_in10,186
-let (doitdoit17,361
-
-./compiledData.ml,4076
-CompiledData1,0
-type id_solverid_solver117,3224
- id2constid2const118,3243
- id2typeid2type119,3291
-and type_efftype_eff131,3774
- Bool_type_effBool_type_eff132,3789
- | Int_type_effInt_type_eff133,3807
- | Real_type_effReal_type_eff134,3824
- | External_type_effExternal_type_eff135,3842
- | Enum_type_effEnum_type_eff136,3879
- | Array_type_effArray_type_eff137,3936
- | Struct_type_effStruct_type_eff138,3977
-and slice_effslice_eff147,4460
- se_firstse_first148,4478
- se_lastse_last149,4496
- se_stepse_step150,4513
- se_widthse_width151,4530
-and left_effleft_eff165,5052
- LeftEffVarLeftEffVar166,5067
- | LeftEffFieldLeftEffField167,5103
- | LeftEffArrayLeftEffArray168,5155
- | LeftEffSliceLeftEffSlice169,5203
-and eq_effeq_eff176,5547
- eqf_left_listeqf_left_list177,5562
-and const_effconst_eff189,6079
- Bool_const_effBool_const_eff191,6113
- | Int_const_effInt_const_eff192,6140
- | Real_const_effReal_const_eff193,6165
- | Extern_const_effExtern_const_eff195,6248
- | Enum_const_effEnum_const_eff196,6296
- | Struct_const_effStruct_const_eff198,6408
- | Array_const_effArray_const_eff200,6539
-and val_effval_eff207,6899
- ConstEffConstEff208,6913
- | VarEffVarEff209,6939
-and var_effvar_eff216,7273
- vf_namevf_name217,7289
- vf_naturevf_nature218,7311
- vf_typevf_type219,7338
- vf_clockvf_clock220,7361
-and clock_effclock_eff222,7387
- BaseClockEffBaseClockEff223,7404
- | VarClockEffVarClockEff224,7421
-and oper_half_effoper_half_eff234,7945
- FuncRefFuncRef235,7966
- | NodeRefNodeRef236,7990
-and func_efffunc_eff242,8285
- fe_namefe_name243,8302
- fe_in_typesfe_in_types244,8324
- fe_out_typesfe_out_types245,8357
-and node_half_effnode_half_eff253,8738
-and node_effnode_eff266,9358
- nf_keynf_key267,9375
- nf_in_typesnf_in_types268,9397
- nf_out_typesnf_out_types269,9430
- nf_in_formal_clocksnf_in_formal_clocks270,9463
- nf_out_formal_clocksnf_out_formal_clocks271,9506
-and item_keyitem_key279,9870
-and node_keynode_key280,9896
-and static_arg_effstatic_arg_eff290,10361
- ConstStaticArgEffConstStaticArgEff291,10382
- | TypeStaticArgEffTypeStaticArgEff292,10429
- | OperStaticArgEffOperStaticArgEff293,10475
-and oper_effoper_eff302,10993
- PredefOperPredefOper303,11008
- | FuncOperFuncOper304,11039
- | NodeOperNodeOper305,11064
-and oper_aliasoper_alias314,11561
- CheckedOperCheckedOper315,11578
- | HalfCheckedNodeHalfCheckedNode316,11606
-type 'a check_flagcheck_flag329,12123
- CheckingChecking330,12144
- | CheckedChecked331,12157
- | IncorrectIncorrect332,12175
-world_envworld_env335,12195
- wenv_srcwenv_src336,12209
- wenv_mod_srcswenv_mod_srcs337,12253
- wenv_pack_srcswenv_pack_srcs338,12326
- wenv_pack_envswenv_pack_envs339,12400
-and pack_envpack_env345,12684
- penv_worldpenv_world346,12701
- penv_type_tablepenv_type_table348,12768
- penv_const_tablepenv_const_table349,12834
- penv_oper_tablepenv_oper_table350,12900
- penv_node_tablepenv_node_table351,12958
-and local_envlocal_env357,13254
- lenv_node_keylenv_node_key358,13272
- lenv_globalslenv_globals359,13301
- lenv_typeslenv_types360,13329
- lenv_valslenv_vals361,13376
- lenv_operslenv_opers362,13422
-let (make_simple_node_keymake_simple_node_key366,13509
-let const_and_type_id_solverconst_and_type_id_solver382,13995
-let type_of_const_efftype_of_const_eff403,14517
-let type_of_left_efftype_of_left_eff425,15207
-let rec string_of_const_effstring_of_const_eff444,15741
-and string_of_type_effstring_of_type_eff466,16460
-and string_of_type_eff_liststring_of_type_eff_list487,17270
-let rec string_of_node_keystring_of_node_key495,17426
-let string_of_clockstring_of_clock514,18222
-exception Compile_node_errorCompile_node_error524,18581
-exception Global_node_errorGlobal_node_error525,18639
-let node_error_stringnode_error_string530,18875
-let print_compile_node_errorprint_compile_node_error537,19168
-let print_global_node_errorprint_global_node_error543,19323
-
-./errors.ml,346
-Errors1,0
-exception Compile_errorCompile_error97,3393
-exception Global_errorGlobal_error102,3606
-let compile_error_stringcompile_error_string108,3827
-let print_compile_errorprint_compile_error115,4124
-let warningwarning123,4420
-let print_global_errorprint_global_error130,4701
-let print_internal_errorprint_internal_error138,4984
-
-./evalConst.mli,236
-EvalConst1,0
-exception EvalArray_errorEvalArray_error63,1475
-val eval_consteval_const65,1512
-val eval_array_sizeeval_array_size80,1866
-val eval_array_indexeval_array_index94,2120
-val eval_array_sliceeval_array_slice111,2571
-
-./evalConst.ml,582
-EvalConst1,0
-exception EvalArray_errorEvalArray_error15,339
-exception EvalConst_errorEvalConst_error22,607
-let type_errortype_error27,787
-let arity_errorarity_error31,952
-let uneval_erroruneval_error36,1144
-let op_computerop_computer49,1637
-let make_slice_constmake_slice_const328,9929
-let make_array_constmake_array_const342,10338
-let make_struct_constmake_struct_const380,11407
-let rec eval_consteval_const507,15342
-and eval_array_sizeeval_array_size747,22872
-and eval_array_indexeval_array_index780,23805
-and eval_array_sliceeval_array_slice818,24999
-
-./evalType.mli,30
-EvalType1,0
-val ff48,1234
-
-./evalType.ml,80
-EvalType1,0
-exception EvalType_errorEvalType_error10,165
-let rec ff25,521
-
-./expandPack.mli,38
-ExpandPack1,0
-val doitdoit46,1653
-
-./expandPack.ml,37
-ExpandPack1,0
-let (doitdoit9,151
-
-./global.ml,178
-Global1,0
-type lpp_argslpp_args5,104
- mutable infileinfile6,122
- mutable main_nodemain_node7,149
- mutable runmoderunmode8,179
-let _lus2lic_ARGS_lus2lic_ARGS11,210
-
-./ident.mli,825
-Ident1,0
-tt4,74
-type pack_namepack_name6,82
-type longlong8,98
-val to_stringto_string11,110
-val of_stringof_string12,138
-val of_longof_long14,167
-val pack_name_of_stringpack_name_of_string15,191
-val to_pack_nameto_pack_name16,237
-val pack_name_to_stringpack_name_to_string17,271
-val pack_of_longpack_of_long18,317
-val string_of_longstring_of_long20,355
-val long_to_stringlong_to_string21,391
-val long_of_stringlong_of_string22,427
-val make_longmake_long24,464
-val set_dft_pack_nameset_dft_pack_name27,505
-type idrefidref44,1000
- id_packid_pack46,1020
- id_idid_id47,1051
-val idref_of_stringidref_of_string50,1080
-val string_of_idrefstring_of_idref53,1120
-val name_of_idrefname_of_idref55,1159
-val pack_of_idrefpack_of_idref56,1190
-val long_of_idreflong_of_idref60,1334
-
-./ident.ml,898
-Ident1,0
-tt44,790
-type pack_namepack_name45,806
-type longlong46,825
-let (pack_of_longpack_of_long48,852
-let (of_longof_long51,900
-let (to_stringto_string54,935
-let (of_stringof_string57,981
-let (pack_name_of_stringpack_name_of_string60,1027
-let (pack_name_to_stringpack_name_to_string63,1091
-let (string_of_longstring_of_long66,1155
-let (long_to_stringlong_to_string68,1226
-let (make_longmake_long71,1285
-let dft_pack_namedft_pack_name74,1352
-let (set_dft_pack_nameset_dft_pack_name76,1426
-let (to_pack_nameto_pack_name80,1510
-type idrefidref90,1595
- id_packid_pack92,1615
- id_idid_id93,1649
-let (pack_of_idrefpack_of_idref96,1673
-let (name_of_idrefname_of_idref99,1747
-let idref_of_stringidref_of_string104,1829
-let (long_of_stringlong_of_string111,2068
-let string_of_idrefstring_of_idref118,2295
-let (long_of_idreflong_of_idref124,2400
-
-./lazyCompiler.mli,108
-LazyCompiler1,0
-tt11,407
-val createcreate14,445
-val node_checknode_check18,502
-val testtest22,643
-
-./lazyCompiler.ml,1416
-LazyCompiler1,0
-exception Recursion_errorRecursion_error15,336
-exception BadCheckRef_errorBadCheckRef_error17,412
-let recursion_errorrecursion_error19,441
-tt32,833
- src_tabsrc_tab33,844
- typestypes35,892
- constsconsts36,960
- nodesnodes37,1028
- prov_typesprov_types39,1119
- prov_constsprov_consts40,1192
- prov_nodesprov_nodes41,1265
-let (createcreate47,1437
-let x_checkx_check106,3613
-let x_check_interfacex_check_interface121,4210
-let lookup_x_efflookup_x_eff146,5208
-let (lookup_type_efflookup_type_eff152,5472
-let (lookup_const_efflookup_const_eff156,5650
-let (lookup_node_efflookup_node_eff160,5830
-let solve_x_idrefsolve_x_idref167,6088
-let rec (type_checktype_check187,6796
-and (const_checkconst_check193,7051
-and (type_check_interfacetype_check_interface199,7313
-and (const_check_interfaceconst_check_interface206,7620
-and (solve_type_idrefsolve_type_idref213,7927
-and (solve_const_idrefsolve_const_idref220,8207
-and (type_check_interface_dotype_check_interface_do229,8519
-and (const_check_interface_doconst_check_interface_do265,9877
-and (type_check_dotype_check_do295,11023
-and (const_check_doconst_check_do358,13181
-let (node_check_interface_donode_check_interface_do417,15080
-let (node_check_donode_check_do422,15319
-let (node_checknode_check448,15964
-let (node_check_interfacenode_check_interface455,16239
-let testtest468,16732
-
-./lxm.mli,409
-Lxm1,0
-tt7,128
-val dummydummy9,136
-val strstr11,151
-val idid12,176
-val lineline13,202
-val cstartcstart16,248
-val cendcend17,270
-val makemake27,506
-val new_linenew_line28,540
-type 'a srcflagedsrcflaged35,662
-type 'a srcsrc35,662
-type 'a srcflaged = { src : t ; itit35,662
-val flagitflagit37,706
-val last_madelast_made40,815
-val detailsdetails44,874
-val positionposition47,962
-
-./lxm.ml,587
-Lxm1,0
-let line_numline_num7,142
-let line_start_posline_start_pos8,163
-let new_linenew_line10,191
-tt17,334
- _file_file18,345
- _str_str19,363
- _line_line20,380
- _cstart_cstart21,395
- _cend_cend22,412
-let strstr25,428
-let idid26,449
-let lineline27,485
-let cstartcstart28,508
-let cendcend29,535
-let detailsdetails32,585
-let positionposition36,716
-type 'a srcflagedsrcflaged42,863
- srcsrc43,885
- itit44,898
-let (flagitflagit47,951
-let dummydummy51,1047
-let last_lexemelast_lexeme53,1136
-let makemake56,1178
-let last_madelast_made72,1543
-
-./main.ml,376
-Main1,0
-let usage_msgusage_msg53,1116
-let print_versionprint_version60,1367
-let rec set_infileset_infile64,1450
-and arg_listarg_list75,1706
- parse_argsparse_args99,2513
-let test_lextest_lex107,2707
-let lus_loadlus_load120,3030
-let dump_bodydump_body125,3123
-let dump_nsdump_ns131,3308
-let get_source_listget_source_list149,3811
-let mainmain162,4152
-
-./parserUtils.ml,124
-ParserUtils1,0
-let flat_flagged_listflat_flagged_list35,932
-let flat_twice_flagged_listflat_twice_flagged_list73,1926
-
-./symbolTab.mli,583
-SymbolTab1,0
-type 'a hereflagedhereflaged16,596
- HereHere17,617
- | NotHereNotHere18,662
-tt20,710
-val createcreate22,718
-val find_typefind_type27,794
-val find_constfind_const28,880
-val find_operfind_oper29,966
-val add_import_constadd_import_const32,1099
-val add_import_typeadd_import_type33,1157
-val add_import_operadd_import_oper34,1215
-val add_typeadd_type37,1309
-val add_constadd_const38,1388
-val add_operadd_oper39,1469
-val iter_typesiter_types43,1577
-val iter_constsiter_consts45,1683
-val iter_opersiter_opers47,1791
-val dumpdump50,1898
-
-./symbolTab.ml,663
-SymbolTab1,0
-type 'a hereflagedhereflaged11,165
- HereHere12,186
-| NotHereNotHere13,199
-tt15,224
- st_constsst_consts16,235
- st_typesst_types17,306
- st_opersst_opers18,377
-let createcreate22,499
-let find_typefind_type28,622
-let find_constfind_const36,816
-let find_operfind_oper44,1011
-let add_import_constadd_import_const53,1233
-let add_import_typeadd_import_type57,1355
-let add_import_operadd_import_oper61,1475
-let add_constadd_const65,1595
-let add_typeadd_type69,1714
-let add_operadd_oper86,2245
-let iter_typesiter_types90,2356
-let iter_constsiter_consts91,2412
-let iter_opersiter_opers92,2470
-let dumpdump94,2527
-
-./syntaxTab.mli,181
-SyntaxTab1,0
-tt14,449
-val createcreate16,457
-val pack_body_envpack_body_env20,529
-val pack_prov_envpack_prov_env23,629
-val pack_listpack_list26,723
-val dumpdump29,768
-
-./syntaxTab.ml,871
-SyntaxTab1,0
-type pack_mngpack_mng50,1459
- pm_lxmpm_lxm52,1515
- pm_raw_srcpm_raw_src54,1556
- pm_actual_srcpm_actual_src56,1619
- pm_user_itemspm_user_items59,1733
- pm_body_stabpm_body_stab61,1870
- pm_provide_stabpm_provide_stab63,1960
-tt78,2437
- st_listst_list80,2489
- st_raw_mod_tabst_raw_mod_tab81,2533
- st_raw_pack_tabst_raw_pack_tab82,2598
- st_pack_mng_tabst_pack_mng_tab84,2706
-let (pack_listpack_list88,2786
-let (pack_body_envpack_body_env94,2923
-let (pack_prov_envpack_prov_env101,3111
-let init_user_itemsinit_user_items111,3503
-let create_pack_mngcreate_pack_mng194,5957
-let rec (createcreate231,7091
-init_raw_tabsinit_raw_tabs263,8133
-init_pack_mng_stabsinit_pack_mng_stabs299,9304
-let find_typefind_type379,11777
-let find_constfind_const383,11890
-let find_operfind_oper387,12004
-let (dumpdump394,12133
-
-./syntaxTabUtils.mli,53
-SyntaxTabUtils1,0
-val put_in_tabput_in_tab16,524
-
-./syntaxTabUtils.ml,51
-SyntaxTabUtils1,0
-let put_in_tabput_in_tab7,85
-
-./syntaxTree.ml,1271
-SyntaxTree1,0
-type 'a errorerror18,479
- OkOk19,497
- | ErrorError20,510
-tt25,618
- PRPackBodyPRPackBody26,628
- | PRPack_or_modelsPRPack_or_models27,655
- pack_or_modelpack_or_model29,702
- NSPackNSPack30,720
- | NSModelNSModel31,757
- model_infomodel_info33,799
- mo_namemo_name34,816
- mo_usesmo_uses35,849
- mo_needsmo_needs36,897
- mo_providesmo_provides38,986
- mo_bodymo_body39,1037
-and pack_infopack_info41,1066
- pa_namepa_name42,1084
- pa_defpa_def43,1116
- pack_defpack_def46,1148
- PackGivenPackGiven47,1162
- | PackInstancePackInstance48,1190
- pack_givenpack_given50,1228
- pg_usespg_uses51,1246
- pg_providespg_provides53,1338
- pg_bodypg_body54,1389
- pack_instancepack_instance57,1422
- pi_modelpi_model58,1442
- pi_argspi_args59,1467
- packbodypackbody67,1692
- pk_const_tablepk_const_table68,1707
- pk_type_tablepk_type_table69,1773
- pk_oper_tablepk_oper_table70,1839
- pk_def_listpk_def_list71,1905
-let give_pack_this_namegive_pack_this_name78,2087
-let make_packbodymake_packbody101,2696
-let add_infoadd_info120,3264
-let rec lexeme_of_left_partlexeme_of_left_part153,4184
-let (pack_or_model_to_stringpack_or_model_to_string161,4443
-
-./syntaxTreeCore.ml,4946
-SyntaxTreeCore1,0
-type clock_expclock_exp10,225
- | BaseClockBaseClock11,242
- | NamedClockNamedClock12,256
-type type_exptype_exp16,441
- type_exp_coretype_exp_core18,485
- | Bool_type_expBool_type_exp19,503
- | Int_type_expInt_type_exp20,521
- | Real_type_expReal_type_exp21,538
- | Named_type_expNamed_type_exp22,556
- | Array_type_expArray_type_exp23,591
- oper_infooper_info29,858
- | NodeNode30,872
- | FuncFunc31,895
- func_infofunc_info36,1085
- fn_namefn_name37,1101
- fn_inparsfn_inpars38,1128
- fn_outparsfn_outpars39,1180
- node_infonode_info46,1444
- ni_nameni_name47,1460
- ni_staticlistni_staticlist48,1490
- ni_valueni_value49,1540
-and static_paramstatic_param51,1573
- StaticParamTypeStaticParamType52,1592
- | StaticParamConstStaticParamConst53,1624
- | StaticParamNodeStaticParamNode54,1669
-and node_profilenode_profile56,1756
-and node_defnode_def57,1827
- | NodeExternNodeExtern58,1842
- | NodeBodyNodeBody59,1873
- | NodeAliasNodeAlias60,1901
-and node_bodynode_body67,2272
- nbdy_inlistnbdy_inlist68,2290
- nbdy_outlistnbdy_outlist69,2321
- nbdy_loclistnbdy_loclist70,2352
- nbdy_vartablenbdy_vartable71,2383
- nbdy_assertsnbdy_asserts72,2416
- nbdy_eqsnbdy_eqs73,2459
-and var_info_tablevar_info_table75,2503
-and var_infovar_info76,2564
- va_natureva_nature77,2581
- va_nameva_name78,2607
- va_typeva_type79,2630
- va_clockva_clock80,2654
-and var_naturevar_nature82,2681
- | VarInputVarInput83,2698
- | VarOutputVarOutput84,2711
- | VarLocalVarLocal85,2725
-and eq_infoeq_info87,2739
- eq_lefteq_left88,2755
- eq_righteq_right89,2784
-and left_partleft_part91,2806
- | LeftVarLeftVar92,2823
- | LeftFieldLeftField93,2858
- | LeftArrayLeftArray94,2909
- | LeftSliceLeftSlice95,2962
-and slice_infoslice_info96,3016
- si_firstsi_first97,3035
- si_lastsi_last98,3058
- si_stepsi_step99,3081
-and predef_nodepredef_node103,3143
- NULL_expNULL_exp105,3176
- | TRUE_nTRUE_n106,3189
- | FALSE_nFALSE_n107,3200
- | ICONST_nICONST_n108,3212
- | RCONST_nRCONST_n109,3236
- | IDENT_nIDENT_n110,3260
- | NOT_nNOT_n112,3302
- | UMINUS_nUMINUS_n113,3312
- | PRE_nPRE_n114,3325
- | CURRENT_nCURRENT_n115,3335
- | REAL2INT_nREAL2INT_n116,3349
- | INT2REAL_nINT2REAL_n117,3364
- | ARROW_nARROW_n119,3394
- | FBY_nFBY_n120,3406
- | WHEN_nWHEN_n121,3416
- | AND_nAND_n122,3427
- | OR_nOR_n123,3437
- | XOR_nXOR_n124,3446
- | IMPL_nIMPL_n125,3456
- | EQ_nEQ_n126,3467
- | NEQ_nNEQ_n127,3476
- | LT_nLT_n128,3486
- | LTE_nLTE_n129,3495
- | GT_nGT_n130,3505
- | GTE_nGTE_n131,3514
- | DIV_nDIV_n132,3524
- | MOD_nMOD_n133,3534
- | MINUS_nMINUS_n134,3544
- | PLUS_nPLUS_n135,3556
- | SLASH_nSLASH_n136,3567
- | TIMES_nTIMES_n137,3579
- | POWER_nPOWER_n138,3591
- | HAT_nHAT_n139,3603
- | CONCAT_nCONCAT_n140,3613
- | IF_nIF_n142,3642
- | WITH_nWITH_n143,3651
- | NOR_nNOR_n145,3676
- | DIESE_nDIESE_n146,3686
- | TUPLE_nTUPLE_n147,3698
- | ARRAY_nARRAY_n148,3710
- | PROJ_nPROJ_n154,3981
- | CALL_nCALL_n156,4046
- | ARRAY_ACCES_nARRAY_ACCES_n159,4122
- | ARRAY_SLICE_nARRAY_SLICE_n160,4151
- | STRUCT_ACCESS_nSTRUCT_ACCESS_n163,4228
- | MERGE_nMERGE_n165,4263
- | ITERATOR_nITERATOR_n167,4308
-and val_expval_exp182,4972
- | CallByPosCallByPos183,4987
- | CallByNameCallByName184,5043
-and operandsoperands186,5126
-and operands = OperOper186,5126
-and by_name_opby_name_op190,5206
- STRUCT_nSTRUCT_n191,5223
- | STRUCT_anonymous_nSTRUCT_anonymous_n193,5283
-and node_expnode_exp196,5355
- | CallPreDefCallPreDef197,5370
- | CallUsrDefCallUsrDef198,5400
-and static_argstatic_arg206,5666
- | StaticArgIdentStaticArgIdent207,5683
- | StaticArgConstStaticArgConst208,5717
- | StaticArgTypeStaticArgType209,5747
- | StaticArgNodeStaticArgNode210,5778
-type const_infoconst_info217,5914
- | ExternalConstExternalConst218,5933
- | EnumConstEnumConst219,5976
- | DefinedConstDefinedConst220,6019
-type field_infofield_info224,6093
- fd_namefd_name225,6113
- fd_typefd_type226,6136
- fd_valuefd_value227,6160
-type struct_type_infostruct_type_info229,6190
- st_namest_name230,6216
- st_flistst_flist231,6241
- st_ftablest_ftable232,6292
-type type_infotype_info234,6353
- | ExternalTypeExternalType235,6370
- | AliasedTypeAliasedType236,6400
- | EnumTypeEnumType237,6441
- | StructTypeStructType238,6496
- | ArrayTypeArrayType239,6533
-type item_identitem_ident243,6602
- | ConstItemConstItem244,6620
- | TypeItemTypeItem245,6645
- | OperItemOperItem246,6670
-type item_infoitem_info248,6702
- ConstInfoConstInfo249,6719
- | TypeInfoTypeInfo250,6747
- | OperInfoOperInfo251,6774
-let leafexpleafexp257,6927
-let unexpunexp259,6992
-let binexpbinexp261,7063
-let ternexpternexp263,7143
-let naryexpnaryexp265,7230
-let bynameexpbynameexp268,7306
-
-./syntaxTreeDump.mli,137
-SyntaxTreeDump1,0
-val packinfopackinfo6,121
-val packbodypackbody7,199
-val modelinfomodelinfo9,263
-val op2stringop2string10,343
-
-./syntaxTreeDump.ml,1939
-SyntaxTreeDump1,0
-let (op2stringop2string12,234
-let rec packbodypackbody74,1991
-and dump_constdump_const107,3003
-and dump_const_defdump_const_def114,3253
-and dump_typedump_type125,3731
-and dump_type_defdump_type_def133,3992
-and dump_id_listdump_id_list154,4745
-and dump_field_listdump_field_list163,5089
-and dump_fielddump_field169,5315
-and dump_funcdump_func183,5758
-and dump_param_listdump_param_list192,6138
-and dump_paramdump_param201,6394
-and dump_item_info_listdump_item_info_list209,6720
-and dump_item_infodump_item_info218,6964
-and dump_static_param_listdump_static_param_list232,7357
-and dump_static_paramdump_static_param241,7616
-and dump_nodedump_node257,8189
-and dump_node_bodydump_node_body274,8838
-and dump_var_decl_listdump_var_decl_list300,9803
-and dump_line_var_decl_listdump_line_var_decl_list307,10087
-and dump_var_decldump_var_decl313,10345
-and dump_type_expdump_type_exp324,10728
-and dump_assert_listdump_assert_list339,11204
-and dump_eq_listdump_eq_list350,11540
-and dump_left_part_listdump_left_part_list360,11833
-and dump_left_partdump_left_part368,12082
-and dump_val_expdump_val_exp381,12630
-and dump_val_exp_listdump_val_exp_list390,12889
-and dump_by_pos_expdump_by_pos_exp399,13210
-and dump_leaf_expdump_leaf_exp504,18159
-and dump_unary_expdump_unary_exp507,18240
-and dump_binary_expdump_binary_exp514,18387
-and dump_ternary_expdump_ternary_exp522,18574
-and dump_nary_expdump_nary_exp534,18846
-and dump_node_expdump_node_exp542,19001
-and dump_static_arg_listdump_static_arg_list558,19371
-and dump_static_argdump_static_arg568,19651
-and dump_slice_infodump_slice_info586,20080
-and dump_by_name_expdump_by_name_exp598,20441
-and dump_named_parsdump_named_pars613,20808
-let dump_packinstancedump_packinstance626,21130
-let dump_packgivendump_packgiven632,21323
-let rec packinfopackinfo646,21732
-let modelinfomodelinfo665,22461
-
-./verbose.mli,137
-Verbose1,0
-val set_levelset_level16,413
-val get_levelget_level17,441
-val printfprintf19,470
-val print_stringprint_string20,536
-
-./verbose.ml,164
-Verbose1,0
-let _level_level27,880
-let set_levelset_level29,900
-let get_levelget_level30,940
-let printfprintf33,1003
-let print_stringprint_string36,1112
-
-./version.ml,118
-Version1,0
-let tooltool2,49
-let branchbranch3,70
-let commitcommit4,88
-let sha_1sha_15,106
-let strstr6,161
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/arg.mli,655
-Arg1,0
-type specspec43,2206
- | UnitUnit44,2218
- | BoolBool45,2293
- | SetSet46,2370
- | ClearClear47,2434
- | StringString48,2499
- | Set_stringSet_string49,2578
- | IntInt50,2657
- | Set_intSet_int51,2734
- | FloatFloat52,2810
- | Set_floatSet_float53,2888
- | TupleTuple54,2966
- | SymbolSymbol56,3089
- | RestRest59,3281
-type keykey64,3512
-type docdoc65,3530
-type usage_msgusage_msg66,3548
-type anon_funanon_fun67,3572
-val parseparse69,3606
-val parse_argvparse_argv96,4900
-exception HelpHelp109,5566
-exception BadBad112,5655
-val usageusage117,5866
-val alignalign123,6164
-val currentcurrent130,6525
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/arith_status.mli,692
-Arith_status1,0
-val arith_statusarith_status18,1005
-val get_error_when_null_denominatorget_error_when_null_denominator21,1102
-val set_error_when_null_denominatorset_error_when_null_denominator23,1220
-val get_normalize_ratioget_normalize_ratio29,1519
-val set_normalize_ratioset_normalize_ratio31,1613
-val get_normalize_ratio_when_printingget_normalize_ratio_when_printing37,1880
-val set_normalize_ratio_when_printingset_normalize_ratio_when_printing39,2002
-val get_approx_printingget_approx_printing45,2304
-val set_approx_printingset_approx_printing47,2398
-val get_floating_precisionget_floating_precision53,2661
-val set_floating_precisionset_floating_precision55,2760
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/array.mli,778
-Array1,0
-external lengthlength18,978
-external getget21,1097
-external setset30,1480
-external makemake38,1816
-external createcreate51,2446
-val initinit54,2571
-val make_matrixmake_matrix64,3016
-val create_matrixcreate_matrix77,3604
-val appendappend80,3739
-val concatconcat84,3897
-val subsub87,4003
-val copycopy96,4383
-val fillfill100,4524
-val blitblit107,4804
-val to_listto_list118,5315
-val of_listof_list121,5420
-val iteriter125,5537
-val mapmap130,5745
-val iteriiteri135,5980
-val mapimapi140,6187
-val fold_leftfold_left145,6394
-val fold_rightfold_right150,6585
-val sortsort159,6801
-val stable_sortstable_sort185,8013
-val fast_sortfast_sort195,8458
-external unsafe_getunsafe_get204,8653
-external unsafe_setunsafe_set205,8719
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/arrayLabels.mli,784
-ArrayLabels1,0
-external lengthlength18,985
-external getget21,1104
-external setset30,1487
-external makemake38,1823
-external createcreate51,2453
-val initinit54,2584
-val make_matrixmake_matrix64,3031
-val create_matrixcreate_matrix77,3629
-val appendappend81,3783
-val concatconcat85,3941
-val subsub88,4047
-val copycopy97,4435
-val fillfill101,4576
-val blitblit108,4864
-val to_listto_list121,5409
-val of_listof_list124,5514
-val iteriter128,5631
-val mapmap133,5841
-val iteriiteri138,6078
-val mapimapi143,6293
-val fold_leftfold_left148,6508
-val fold_rightfold_right153,6706
-val sortsort162,6929
-val stable_sortstable_sort188,8145
-val fast_sortfast_sort198,8606
-external unsafe_getunsafe_get208,8806
-external unsafe_setunsafe_set209,8872
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/big_int.mli,1909
-Big_int1,0
-type big_intbig_int23,1092
-val zero_big_intzero_big_int26,1147
-val unit_big_intunit_big_int28,1210
-val minus_big_intminus_big_int33,1308
-val abs_big_intabs_big_int35,1378
-val add_big_intadd_big_int37,1446
-val succ_big_intsucc_big_int39,1519
-val add_int_big_intadd_int_big_int41,1591
-val sub_big_intsub_big_int43,1700
-val pred_big_intpred_big_int45,1776
-val mult_big_intmult_big_int47,1855
-val mult_int_big_intmult_int_big_int49,1955
-val square_big_intsquare_big_int51,2070
-val sqrt_big_intsqrt_big_int53,2167
-val quomod_big_intquomod_big_int57,2404
-val div_big_intdiv_big_int64,2786
-val mod_big_intmod_big_int67,2962
-val gcd_big_intgcd_big_int70,3138
-val power_int_positive_intpower_int_positive_int72,3246
-val power_big_int_positive_intpower_big_int_positive_int73,3296
-val power_int_positive_big_intpower_int_positive_big_int74,3354
-val power_big_int_positive_big_intpower_big_int_positive_big_int75,3412
-val sign_big_intsign_big_int84,3837
-val compare_big_intcompare_big_int87,3993
-val eq_big_inteq_big_int91,4207
-val le_big_intle_big_int92,4251
-val ge_big_intge_big_int93,4295
-val lt_big_intlt_big_int94,4339
-val gt_big_intgt_big_int95,4383
-val max_big_intmax_big_int97,4494
-val min_big_intmin_big_int99,4598
-val num_digits_big_intnum_digits_big_int101,4702
-val string_of_big_intstring_of_big_int107,4886
-val big_int_of_stringbig_int_of_string110,5035
-val big_int_of_intbig_int_of_int117,5315
-val is_int_big_intis_int_big_int119,5408
-val int_of_big_intint_of_big_int127,5873
-val float_of_big_intfloat_of_big_int131,6095
-val nat_of_big_intnat_of_big_int138,6268
-val big_int_of_natbig_int_of_nat139,6304
-val base_power_big_intbase_power_big_int140,6340
-val sys_big_int_of_stringsys_big_int_of_string141,6397
-val round_futur_last_digitround_futur_last_digit142,6456
-val approx_big_intapprox_big_int143,6514
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/bigarray.mli,3734
-Bigarray1,0
-type float32_eltfloat32_elt61,2951
-type float64_eltfloat64_elt62,2968
-type complex32_eltcomplex32_elt63,2985
-type complex64_eltcomplex64_elt64,3004
-type int8_signed_eltint8_signed_elt65,3023
-type int8_unsigned_eltint8_unsigned_elt66,3044
-type int16_signed_eltint16_signed_elt67,3067
-type int16_unsigned_eltint16_unsigned_elt68,3089
-type int_eltint_elt69,3113
-type int32_eltint32_elt70,3126
-type int64_eltint64_elt71,3141
-type nativeint_eltnativeint_elt72,3156
-type ('a, 'b) kindkind74,3176
-val float32float3291,4014
-val float64float6494,4084
-val complex32complex3297,4154
-val complex64complex64100,4232
-val int8_signedint8_signed103,4310
-val int8_unsignedint8_unsigned106,4386
-val int16_signedint16_signed109,4466
-val int16_unsignedint16_unsigned112,4544
-val intint115,4626
-val int32int32118,4686
-val int64int64121,4752
-val nativeintnativeint124,4818
-val charchar127,4896
-type c_layoutc_layout145,5779
-type fortran_layoutfortran_layout148,5832
-type 'a layoutlayout171,6927
-val c_layoutc_layout183,7273
-val fortran_layoutfortran_layout184,7304
-module GenarrayGenarray189,7409
- tt191,7433
- external createcreate211,8349
- external num_dimsnum_dims234,9458
- val dimsdims237,9588
- external nth_dimnth_dim241,9764
- external kindkind249,10172
- external layoutlayout252,10288
- external getget255,10406
- external setset274,11436
- external sub_leftsub_left292,12279
- external sub_rightsub_right311,13289
- external slice_leftslice_left331,14346
- external slice_rightslice_right349,15269
- external blitblit367,16212
- external fillfill376,16680
- val map_filemap_file383,17022
-module Array1Array1434,19545
- tt435,19565
- val createcreate439,19727
- val dimdim445,20023
- external kindkind449,20139
- external layoutlayout452,20255
- external getget455,20373
- external setset463,20795
- external subsub470,21098
- external blitblit475,21300
- external fillfill480,21484
- val of_arrayof_array484,21647
- val map_filemap_file488,21804
-module Array2Array2500,22258
- tt502,22280
- val createcreate506,22442
- val dim1dim1513,22826
- val dim2dim2516,22937
- external kindkind519,23049
- external layoutlayout522,23165
- external getget525,23283
- external setset532,23606
- external sub_leftsub_left539,23949
- external sub_rightsub_right546,24293
- val slice_leftslice_left554,24663
- val slice_rightslice_right560,25015
- external blitblit568,25404
- external fillfill573,25596
- val of_arrayof_array577,25769
- val map_filemap_file581,25942
-module Array3Array3593,26423
- tt595,26445
- val createcreate599,26609
- val dim1dim1606,27027
- val dim2dim2609,27140
- val dim3dim3612,27254
- external kindkind615,27367
- external layoutlayout618,27483
- external getget621,27601
- external setset628,27945
- external sub_leftsub_left636,28311
- external sub_rightsub_right643,28660
- val slice_left_1slice_left_1651,29035
- val slice_right_1slice_right_1659,29448
- val slice_left_2slice_left_2669,29890
- val slice_right_2slice_right_2676,30291
- external blitblit685,30714
- external fillfill690,30906
- val of_arrayof_array694,31079
- val map_filemap_file699,31274
-external genarray_of_array1genarray_of_array1707,31622
-external genarray_of_array2genarray_of_array2712,31811
-external genarray_of_array3genarray_of_array3717,32000
-val array1_of_genarrayarray1_of_genarray722,32191
-val array2_of_genarrayarray2_of_genarray727,32445
-val array3_of_genarrayarray3_of_genarray732,32700
-val reshapereshape740,32994
-val reshape_1reshape_1756,33895
-val reshape_2reshape_2760,34062
-val reshape_3reshape_3764,34236
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/buffer.mli,451
-Buffer1,0
-tt24,1219
-val createcreate27,1264
-val contentscontents41,2030
-val subsub45,2153
-val nthnth51,2432
-val lengthlength55,2553
-val clearclear58,2650
-val resetreset61,2698
-val add_charadd_char68,3042
-val add_stringadd_string71,3154
-val add_substringadd_substring74,3269
-val add_substituteadd_substitute78,3464
-val add_bufferadd_buffer94,4329
-val add_channeladd_channel98,4485
-val output_bufferoutput_buffer104,4741
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/callback.mli,94
-Callback1,0
-val registerregister23,1205
-val register_exceptionregister_exception28,1399
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/camlinternalMod.mli,208
-CamlinternalMod1,0
-type shapeshape16,960
- | FunctionFunction17,973
- | LazyLazy18,986
- | ClassClass19,995
- | ModuleModule20,1005
-val init_modinit_mod22,1032
-val update_modupdate_mod23,1083
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/camlinternalOO.mli,2821
-CamlinternalOO1,0
-type tagtag22,1119
-type labellabel23,1128
-type tabletable24,1139
-type methmeth25,1150
-tt26,1160
-type objobj27,1167
-type closureclosure28,1176
-val public_method_labelpublic_method_label29,1189
-val new_methodnew_method30,1229
-val new_variablenew_variable31,1261
-val new_methods_variablesnew_methods_variables32,1303
-val get_variableget_variable34,1388
-val get_variablesget_variables35,1430
-val get_method_labelget_method_label36,1485
-val get_method_labelsget_method_labels37,1533
-val get_methodget_method38,1594
-val set_methodset_method39,1634
-val set_methodsset_methods40,1682
-val narrownarrow41,1729
-val widenwiden42,1804
-val add_initializeradd_initializer43,1830
-val dummy_tabledummy_table44,1883
-val create_tablecreate_table45,1907
-val init_classinit_class46,1948
-val inheritsinherits47,1979
-val make_classmake_class50,2122
-type init_tableinit_table53,2239
-val make_class_storemake_class_store54,2255
-val dummy_classdummy_class56,2333
-val copycopy62,2453
-val create_objectcreate_object63,2485
-val create_object_optcreate_object_opt64,2518
-val run_initializersrun_initializers65,2562
-val run_initializers_optrun_initializers_opt66,2606
-val create_object_and_run_initializerscreate_object_and_run_initializers67,2660
-external sendsend68,2721
-external sendcachesendcache69,2763
-external sendselfsendself70,2827
-external get_public_methodget_public_method71,2879
-type tablestables76,2996
-val lookup_tableslookup_tables77,3008
-type implimpl108,4229
- GetConstGetConst109,4241
- | GetVarGetVar110,4254
- | GetEnvGetEnv111,4265
- | GetMethGetMeth112,4276
- | SetVarSetVar113,4288
- | AppConstAppConst114,4299
- | AppVarAppVar115,4312
- | AppEnvAppEnv116,4323
- | AppMethAppMeth117,4334
- | AppConstConstAppConstConst118,4346
- | AppConstVarAppConstVar119,4364
- | AppConstEnvAppConstEnv120,4380
- | AppConstMethAppConstMeth121,4396
- | AppVarConstAppVarConst122,4413
- | AppEnvConstAppEnvConst123,4429
- | AppMethConstAppMethConst124,4445
- | MethAppConstMethAppConst125,4462
- | MethAppVarMethAppVar126,4479
- | MethAppEnvMethAppEnv127,4494
- | MethAppMethMethAppMeth128,4509
- | SendConstSendConst129,4525
- | SendVarSendVar130,4539
- | SendEnvSendEnv131,4551
- | SendMethSendMeth132,4563
- | ClosureClosure133,4576
-type paramsparams138,4648
- { mutable compact_tablecompact_table139,4662
- mutable copy_parentcopy_parent140,4696
- mutable clean_when_copyingclean_when_copying141,4728
- mutable retry_countretry_count142,4767
- mutable bucket_small_sizebucket_small_size143,4798
-val paramsparams145,4837
-type statsstats149,4881
- { classesclasses150,4894
- methodsmethods151,4913
- inst_varsinst_vars152,4932
-val statsstats153,4954
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/char.mli,227
-Char1,0
-external codecode18,981
-val chrchr21,1070
-val escapedescaped26,1235
-val lowercaselowercase31,1413
-val uppercaseuppercase34,1517
-tt37,1621
-val comparecompare40,1680
-external unsafe_chrunsafe_chr48,1975
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/complex.mli,458
-Complex1,0
-tt23,1240
-type t = { rere23,1240
-type t = { re: float; imim23,1240
-val zerozero27,1367
-val oneone30,1411
-val ii33,1454
-val negneg36,1495
-val conjconj39,1535
-val addadd42,1619
-val subsub45,1657
-val mulmul48,1698
-val invinv51,1742
-val divdiv54,1798
-val sqrtsqrt57,1836
-val norm2norm262,2014
-val normnorm65,2096
-val argarg68,2175
-val polarpolar75,2480
-val expexp79,2599
-val loglog82,2678
-val powpow85,2735
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/condition.mli,133
-Condition1,0
-tt35,1669
-val createcreate38,1717
-val waitwait41,1781
-val signalsignal47,2069
-val broadcastbroadcast51,2184
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/digest.mli,213
-Digest1,0
-tt24,1234
-val stringstring27,1301
-val substringsubstring30,1373
-external channelchannel35,1569
-val filefile43,1984
-val outputoutput46,2066
-val inputinput49,2156
-val to_hexto_hex52,2236
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/dtd.mli,2288
-Dtd1,0
-type dtd_childdtd_child47,1979
- | DTDTagDTDTag48,1997
- | DTDPCDataDTDPCData49,2018
- | DTDOptionalDTDOptional50,2032
- | DTDZeroOrMoreDTDZeroOrMore51,2061
- | DTDOneOrMoreDTDOneOrMore52,2092
- | DTDChoiceDTDChoice53,2122
- | DTDChildrenDTDChildren54,2154
-type dtd_element_typedtd_element_type56,2190
- | DTDEmptyDTDEmpty57,2215
- | DTDAnyDTDAny58,2228
- | DTDChildDTDChild59,2239
-type dtd_attr_defaultdtd_attr_default61,2267
- | DTDDefaultDTDDefault62,2292
- | DTDRequiredDTDRequired63,2317
- | DTDImpliedDTDImplied64,2333
- | DTDFixedDTDFixed65,2348
-type dtd_attr_typedtd_attr_type67,2373
- | DTDCDataDTDCData68,2395
- | DTDNMTokenDTDNMToken69,2408
- | DTDEnumDTDEnum70,2423
-type dtd_itemdtd_item72,2452
- | DTDAttributeDTDAttribute73,2469
- | DTDElementDTDElement74,2540
-type dtddtd76,2586
-type checkedchecked78,2614
-val parse_fileparse_file85,2839
-val parse_inparse_in89,3002
-val parse_stringparse_string93,3162
-val checkcheck97,3328
-val proveprove107,3840
-val to_stringto_string112,4073
-type parse_error_msgparse_error_msg130,4697
- | InvalidDTDDeclInvalidDTDDecl131,4721
- | InvalidDTDElementInvalidDTDElement132,4740
- | InvalidDTDAttributeInvalidDTDAttribute133,4762
- | InvalidDTDTagInvalidDTDTag134,4786
- | DTDItemExpectedDTDItemExpected135,4804
-type check_errorcheck_error137,4826
- | ElementDefinedTwiceElementDefinedTwice138,4846
- | AttributeDefinedTwiceAttributeDefinedTwice139,4880
- | ElementEmptyContructorElementEmptyContructor140,4925
- | ElementReferencedElementReferenced141,4962
- | ElementNotDeclaredElementNotDeclared142,5003
-type prove_errorprove_error144,5038
- | UnexpectedPCDataUnexpectedPCData145,5058
- | UnexpectedTagUnexpectedTag146,5079
- | UnexpectedAttributeUnexpectedAttribute147,5107
- | InvalidAttributeValueInvalidAttributeValue148,5141
- | RequiredAttributeRequiredAttribute149,5177
- | ChildExpectedChildExpected150,5209
- | EmptyExpectedEmptyExpected151,5237
-type parse_errorparse_error153,5257
-exception Parse_errorParse_error155,5311
-exception Check_errorCheck_error156,5349
-exception Prove_errorProve_error157,5387
-val parse_errorparse_error159,5427
-val check_errorcheck_error160,5468
-val prove_errorprove_error161,5509
-val _raises_raises166,5593
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/dynlink.mli,1157
-Dynlink1,0
-val initinit20,1030
-val loadfileloadfile26,1212
-val loadfile_privateloadfile_private35,1664
-val allow_onlyallow_only42,1895
-val prohibitprohibit55,2641
-val default_available_unitsdefault_available_units61,2907
-val allow_unsafe_modulesallow_unsafe_modules66,3122
-val add_interfacesadd_interfaces82,3903
-val add_available_unitsadd_available_units88,4200
-val clear_available_unitsclear_available_units96,4648
-type linking_errorlinking_error102,4808
- Undefined_globalUndefined_global103,4829
- | Unavailable_primitiveUnavailable_primitive104,4860
- | Uninitialized_globalUninitialized_global105,4896
-type errorerror107,4932
- Not_a_bytecode_fileNot_a_bytecode_file108,4945
- | Inconsistent_importInconsistent_import109,4979
- | Unavailable_unitUnavailable_unit110,5013
- | Unsafe_fileUnsafe_file111,5044
- | Linking_errorLinking_error112,5060
- | Corrupted_interfaceCorrupted_interface113,5104
- | File_not_foundFile_not_found114,5138
- | Cannot_open_dllCannot_open_dll115,5167
-exception ErrorError117,5198
-val error_messageerror_message121,5340
-val digest_interfacedigest_interface129,5478
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/event.mli,360
-Event1,0
-type 'a channelchannel24,1268
-val new_channelnew_channel27,1357
-type +'a eventevent30,1424
-val sendsend35,1653
-val receivereceive40,1850
-val alwaysalways42,1888
-val choosechoose46,2037
-val wrapwrap50,2179
-val wrap_abortwrap_abort55,2385
-val guardguard60,2620
-val syncsync66,2880
-val selectselect72,3143
-val pollpoll76,3282
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/filename.mli,514
-Filename1,0
-val current_dir_namecurrent_dir_name18,989
-val parent_dir_nameparent_dir_name21,1095
-val concatconcat25,1218
-val is_relativeis_relative29,1355
-val is_implicitis_implicit34,1530
-val check_suffixcheck_suffix40,1815
-val chop_suffixchop_suffix44,1962
-val chop_extensionchop_extension49,2170
-val basenamebasename57,2475
-val dirnamedirname68,3036
-val temp_filetemp_file71,3101
-val open_temp_fileopen_temp_file82,3609
-val temp_dir_nametemp_dir_name93,4268
-val quotequote101,4550
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/format.mli,5318
-Format1,0
-val open_boxopen_box78,3791
-val close_boxclose_box90,4326
-val print_stringprint_string95,4451
-val print_asprint_as98,4547
-val print_intprint_int103,4716
-val print_floatprint_float106,4792
-val print_charprint_char109,4885
-val print_boolprint_bool112,4964
-val print_spaceprint_space118,5066
-val print_cutprint_cut125,5351
-val print_breakprint_break133,5694
-val print_flushprint_flush143,6130
-val print_newlineprint_newline147,6266
-val force_newlineforce_newline150,6361
-val print_if_newlineprint_if_newline154,6514
-val set_marginset_margin162,6713
-val get_marginget_margin170,7064
-val set_max_indentset_max_indent176,7184
-val get_max_indentget_max_indent185,7581
-val set_max_boxesset_max_boxes190,7769
-val get_max_boxesget_max_boxes198,8073
-val over_max_boxesover_max_boxes201,8176
-val open_hboxopen_hbox207,8324
-val open_vboxopen_vbox212,8535
-val open_hvboxopen_hvbox220,8811
-val open_hovboxopen_hovbox229,9158
-val open_tboxopen_tbox241,9550
-val close_tboxclose_tbox244,9613
-val print_tbreakprint_tbreak247,9701
-val set_tabset_tab259,10202
-val print_tabprint_tab262,10294
-val set_ellipsis_textset_ellipsis_text268,10409
-val get_ellipsis_textget_ellipsis_text272,10562
-type tagtag278,10662
-val open_tagopen_tag327,13260
-val close_tagclose_tag332,13512
-val set_tagsset_tags338,13796
-val set_print_tagsset_print_tags340,13902
-val set_mark_tagsset_mark_tags341,13938
-val get_print_tagsget_print_tags344,14108
-val get_mark_tagsget_mark_tags345,14144
-val set_formatter_out_channelset_formatter_out_channel351,14290
-val set_formatter_output_functionsset_formatter_output_functions354,14409
-val get_formatter_output_functionsget_formatter_output_functions365,14963
-type formatter_tag_functionsformatter_tag_functions371,15177
- mark_open_tagmark_open_tag372,15210
- mark_close_tagmark_close_tag373,15243
- print_open_tagprint_open_tag374,15277
- print_close_tagprint_close_tag375,15309
-val set_formatter_tag_functionsset_formatter_tag_functions384,15750
-val get_formatter_tag_functionsget_formatter_tag_functions402,16567
-val set_all_formatter_output_functionsset_all_formatter_output_functions409,16806
-val get_all_formatter_output_functionsget_all_formatter_output_functions430,17831
-type formatterformatter442,18133
-val formatter_of_out_channelformatter_of_out_channel457,18921
-val std_formatterstd_formatter461,19091
-val err_formattererr_formatter465,19249
-val formatter_of_bufferformatter_of_buffer470,19428
-val stdbufstdbuf476,19722
-val str_formatterstr_formatter479,19805
-val flush_str_formatterflush_str_formatter484,20004
-val make_formattermake_formatter488,20168
-val pp_open_hboxpp_open_hbox497,20570
-val pp_open_vboxpp_open_vbox498,20617
-val pp_open_hvboxpp_open_hvbox499,20663
-val pp_open_hovboxpp_open_hovbox500,20710
-val pp_open_boxpp_open_box501,20758
-val pp_close_boxpp_close_box502,20803
-val pp_open_tagpp_open_tag503,20850
-val pp_close_tagpp_close_tag504,20898
-val pp_print_stringpp_print_string505,20945
-val pp_print_aspp_print_as506,20997
-val pp_print_intpp_print_int507,21052
-val pp_print_floatpp_print_float508,21098
-val pp_print_charpp_print_char509,21148
-val pp_print_boolpp_print_bool510,21196
-val pp_print_breakpp_print_break511,21244
-val pp_print_cutpp_print_cut512,21299
-val pp_print_spacepp_print_space513,21346
-val pp_force_newlinepp_force_newline514,21395
-val pp_print_flushpp_print_flush515,21446
-val pp_print_newlinepp_print_newline516,21495
-val pp_print_if_newlinepp_print_if_newline517,21546
-val pp_open_tboxpp_open_tbox518,21600
-val pp_close_tboxpp_close_tbox519,21647
-val pp_print_tbreakpp_print_tbreak520,21695
-val pp_set_tabpp_set_tab521,21751
-val pp_print_tabpp_print_tab522,21796
-val pp_set_tagspp_set_tags523,21843
-val pp_set_print_tagspp_set_print_tags524,21889
-val pp_set_mark_tagspp_set_mark_tags525,21941
-val pp_get_print_tagspp_get_print_tags526,21992
-val pp_get_mark_tagspp_get_mark_tags527,22044
-val pp_set_marginpp_set_margin528,22095
-val pp_get_marginpp_get_margin529,22142
-val pp_set_max_indentpp_set_max_indent530,22189
-val pp_get_max_indentpp_get_max_indent531,22240
-val pp_set_max_boxespp_set_max_boxes532,22291
-val pp_get_max_boxespp_get_max_boxes533,22341
-val pp_over_max_boxespp_over_max_boxes534,22391
-val pp_set_ellipsis_textpp_set_ellipsis_text535,22443
-val pp_get_ellipsis_textpp_get_ellipsis_text536,22500
-val pp_set_formatter_out_channelpp_set_formatter_out_channel537,22557
-val pp_set_formatter_output_functionspp_set_formatter_output_functions538,22627
-val pp_get_formatter_output_functionspp_get_formatter_output_functions540,22741
-val pp_set_all_formatter_output_functionspp_set_all_formatter_output_functions542,22854
-val pp_get_all_formatter_output_functionspp_get_all_formatter_output_functions545,23034
-val pp_set_formatter_tag_functionspp_set_formatter_tag_functions549,23188
-val pp_get_formatter_tag_functionspp_get_formatter_tag_functions551,23274
-val fprintffprintf561,23653
-val printfprintf622,26893
-val eprintfeprintf625,27007
-val sprintfsprintf628,27122
-val bprintfbprintf641,27775
-val kfprintfkfprintf654,28398
-val ifprintfifprintf659,28644
-val ksprintfksprintf663,28834
-val kprintfkprintf667,29012
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/gc.mli,1519
-Gc1,0
-type statstat18,1017
- { minor_wordsminor_words19,1029
- promoted_wordspromoted_words25,1273
- major_wordsmajor_words30,1468
- minor_collectionsminor_collections34,1618
- major_collectionsmajor_collections37,1718
- heap_wordsheap_words41,1842
- heap_chunksheap_chunks44,1916
- live_wordslive_words47,2018
- live_blockslive_blocks51,2135
- free_wordsfree_words54,2211
- free_blocksfree_blocks57,2279
- largest_freelargest_free60,2349
- fragmentsfragments63,2440
- compactionscompactions68,2635
- top_heap_wordstop_heap_words71,2728
-type controlcontrol82,3137
- { mutable minor_heap_sizeminor_heap_size83,3152
- mutable major_heap_incrementmajor_heap_increment87,3318
- mutable space_overheadspace_overhead91,3465
- mutable verboseverbose100,3895
- mutable max_overheadmax_overhead116,4634
- mutable stack_limitstack_limit125,5082
-external statstat135,5520
-external quick_statquick_stat140,5724
-external counterscounters146,6024
-external getget150,6203
-external setset153,6328
-external minorminor157,6528
-external major_slicemajor_slice160,6612
-external majormajor165,6885
-external full_majorfull_major168,7010
-external compactcompact173,7235
-val print_statprint_stat177,7406
-val allocated_bytesallocated_bytes181,7565
-val finalisefinalise186,7776
-val finalise_releasefinalise_release242,10535
-type alarmalarm247,10753
-val create_alarmcreate_alarm252,10935
-val delete_alarmdelete_alarm258,11207
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/genlex.mli,207
-Genlex1,0
-type tokentoken50,2353
- KwdKwd51,2366
- | IdentIdent52,2384
- | IntInt53,2404
- | FloatFloat54,2419
- | StringString55,2438
- | CharChar56,2459
-val make_lexermake_lexer58,2477
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/graphics.mli,2773
-Graphics1,0
-exception Graphic_failureGraphic_failure18,1004
-val open_graphopen_graph24,1137
-val close_graphclose_graph32,1560
-val set_window_titleset_window_title35,1666
-val resize_windowresize_window38,1750
-external clear_graphclear_graph41,1835
-external size_xsize_x44,1930
-external size_ysize_y47,2011
-type colorcolor55,2341
-val rgbrgb62,2648
-external set_colorset_color67,2863
-val backgroundbackground70,2959
-val foregroundforeground73,3017
-val blackblack83,3350
-val whitewhite84,3368
-val redred85,3386
-val greengreen86,3402
-val blueblue87,3420
-val yellowyellow88,3437
-val cyancyan89,3456
-val magentamagenta90,3473
-external plotplot95,3530
-val plotsplots98,3643
-external point_colorpoint_color101,3743
-external movetomoveto105,3910
-val rmovetormoveto108,4002
-external current_xcurrent_x111,4109
-external current_ycurrent_y114,4214
-val current_pointcurrent_point117,4319
-external linetolineto120,4407
-val rlinetorlineto124,4587
-val curvetocurveto129,4775
-val draw_rectdraw_rect134,5005
-val draw_poly_linedraw_poly_line140,5254
-val draw_polydraw_poly147,5543
-val draw_segmentsdraw_segments153,5746
-val draw_arcdraw_arc160,6075
-val draw_ellipsedraw_ellipse166,6400
-val draw_circledraw_circle172,6665
-val set_line_widthset_line_width177,6869
-external draw_chardraw_char186,7235
-external draw_stringdraw_string189,7327
-external set_fontset_font194,7574
-val set_text_sizeset_text_size199,7759
-external text_sizetext_size204,7935
-val fill_rectfill_rect211,8120
-external fill_polyfill_poly216,8358
-val fill_arcfill_arc220,8552
-val fill_ellipsefill_ellipse224,8735
-val fill_circlefill_circle228,8899
-type imageimage235,9072
-val transptransp239,9210
-external make_imagemake_image247,9605
-external dump_imagedump_image253,9877
-external draw_imagedraw_image256,9993
-val get_imageget_image259,10138
-external create_imagecreate_image263,10320
-external blit_imageblit_image269,10603
-type statusstatus279,11015
- { mouse_xmouse_x280,11029
- mouse_ymouse_y281,11094
- buttonbutton282,11159
- keypressedkeypressed283,11232
- keykey284,11302
-type eventevent289,11407
- Button_downButton_down290,11420
- | Button_upButton_up291,11485
- | Key_pressedKey_pressed292,11551
- | Mouse_motionMouse_motion293,11607
- | PollPoll294,11665
-external wait_next_eventwait_next_event298,11775
-val mouse_posmouse_pos310,12376
-val button_downbutton_down316,12639
-val read_keyread_key319,12743
-val key_pressedkey_pressed323,12875
-external soundsound330,13018
-val auto_synchronizeauto_synchronize336,13214
-external synchronizesynchronize358,14121
-external display_modedisplay_mode364,14323
-external remember_moderemember_mode372,14694
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/graphicsX11.mli,168
-GraphicsX111,0
-type window_idwindow_id18,1021
-val window_idwindow_id20,1046
-val open_subwindowopen_subwindow25,1221
-val close_subwindowclose_subwindow29,1391
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/hashtbl.mli,934
-Hashtbl1,0
-tt25,1101
-val createcreate28,1178
-val clearclear35,1473
-val addadd39,1533
-val copycopy46,1870
-val findfind49,1952
-val find_allfind_all53,2112
-val memmem59,2370
-val removeremove62,2466
-val replacereplace67,2677
-val iteriter74,3012
-val foldfold83,3526
-val lengthlength95,4075
-module type HashedTypeHashedType104,4344
- tt106,4375
- val equalequal108,4431
- val hashhash110,4520
-module type SS125,5229
- type keykey127,5251
- tt128,5264
- val createcreate129,5278
- val clearclear130,5307
- val copycopy131,5336
- val addadd132,5364
- val removeremove133,5404
- val findfind134,5441
- val find_allfind_all135,5474
- val replacereplace136,5516
- val memmem137,5560
- val iteriter138,5594
- val foldfold139,5645
- val lengthlength140,5704
-module MakeMake144,5800
-val hashhash158,6352
-external hash_paramhash_param165,6619
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/int32.mli,982
-Int321,0
-val zerozero29,1505
-val oneone32,1552
-val minus_oneminus_one35,1598
-external negneg38,1651
-external addadd41,1720
-external subsub44,1792
-external mulmul47,1867
-external divdiv50,1945
-external remrem55,2196
-val succsucc61,2489
-val predpred64,2578
-val absabs67,2669
-val max_intmax_int70,2745
-val min_intmin_int73,2828
-external logandlogand77,2909
-external logorlogor80,2995
-external logxorlogxor83,3078
-val lognotlognot86,3173
-external shift_leftshift_left89,3234
-external shift_rightshift_right93,3414
-external shift_right_logicalshift_right_logical99,3700
-external of_intof_int105,4001
-external to_intto_int109,4137
-external of_floatof_float116,4449
-external to_floatto_float122,4775
-external of_stringof_string125,4903
-val to_stringto_string134,5362
-external bits_of_floatbits_of_float137,5471
-external float_of_bitsfloat_of_bits144,5824
-tt149,6064
-val comparecompare152,6129
-external formatformat162,6463
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/int64.mli,1142
-Int641,0
-val zerozero30,1504
-val oneone33,1551
-val minus_oneminus_one36,1597
-external negneg39,1650
-external addadd42,1719
-external subsub45,1791
-external mulmul48,1866
-external divdiv51,1944
-external remrem56,2195
-val succsucc62,2488
-val predpred65,2577
-val absabs68,2668
-val max_intmax_int71,2744
-val min_intmin_int74,2827
-external logandlogand77,2907
-external logorlogor80,2993
-external logxorlogxor83,3076
-val lognotlognot86,3171
-external shift_leftshift_left89,3232
-external shift_rightshift_right93,3412
-external shift_right_logicalshift_right_logical99,3698
-external of_intof_int105,3999
-external to_intto_int109,4135
-external of_floatof_float117,4521
-external to_floatto_float123,4847
-external of_int32of_int32127,4976
-external to_int32to_int32131,5126
-external of_nativeintof_nativeint137,5379
-external to_nativeintto_nativeint141,5545
-external of_stringof_string147,5810
-val to_stringto_string156,6269
-external bits_of_floatbits_of_float159,6371
-external float_of_bitsfloat_of_bits166,6724
-tt171,6964
-val comparecompare174,7029
-external formatformat184,7363
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/lazy.mli,231
-Lazy1,0
-tt18,981
-exception UndefinedUndefined40,1974
-val forceforce42,1997
-val force_valforce_val51,2348
-val lazy_from_funlazy_from_fun61,2781
-val lazy_from_vallazy_from_val65,2912
-val lazy_is_vallazy_is_val70,3101
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/lexing.mli,1820
-Lexing1,0
-type positionposition20,1040
- pos_fnamepos_fname21,1058
- pos_lnumpos_lnum22,1080
- pos_bolpos_bol23,1098
- pos_cnumpos_cnum24,1115
-val dummy_posdummy_pos37,1653
-type lexbuflexbuf46,1800
- { refill_buffrefill_buff47,1814
- mutable lex_bufferlex_buffer48,1848
- mutable lex_buffer_lenlex_buffer_len49,1881
- mutable lex_abs_poslex_abs_pos50,1915
- mutable lex_start_poslex_start_pos51,1946
- mutable lex_curr_poslex_curr_pos52,1979
- mutable lex_last_poslex_last_pos53,2011
- mutable lex_last_actionlex_last_action54,2043
- mutable lex_eof_reachedlex_eof_reached55,2078
- mutable lex_memlex_mem56,2114
- mutable lex_start_plex_start_p57,2147
- mutable lex_curr_plex_curr_p58,2183
-val from_channelfrom_channel74,2893
-val from_stringfrom_string79,3127
-val from_functionfrom_function85,3369
-val lexemelexeme106,4347
-val lexeme_charlexeme_char110,4473
-val lexeme_startlexeme_start114,4606
-val lexeme_endlexeme_end119,4815
-val lexeme_start_plexeme_start_p124,5043
-val lexeme_end_plexeme_end_p128,5171
-val flush_inputflush_input134,5331
-val sub_lexemesub_lexeme146,5655
-val sub_lexeme_optsub_lexeme_opt147,5703
-val sub_lexeme_charsub_lexeme_char148,5762
-val sub_lexeme_char_optsub_lexeme_char_opt149,5806
-type lex_tableslex_tables151,5862
- { lex_baselex_base152,5880
- lex_backtrklex_backtrk153,5903
- lex_defaultlex_default154,5929
- lex_translex_trans155,5955
- lex_checklex_check156,5979
- lex_base_codelex_base_code157,6003
- lex_backtrk_codelex_backtrk_code158,6031
- lex_default_codelex_default_code159,6062
- lex_trans_codelex_trans_code160,6093
- lex_check_codelex_check_code161,6122
- lex_codelex_code162,6151
-val engineengine164,6175
-val new_enginenew_engine165,6223
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/list.mli,1148
-List1,0
-val lengthlength29,1509
-val hdhd32,1603
-val tltl36,1724
-val nthnth40,1855
-val revrev46,2107
-val appendappend49,2159
-val rev_appendrev_append54,2377
-val concatconcat59,2605
-val flattenflatten65,2866
-val iteriter73,3036
-val mapmap78,3227
-val rev_maprev_map83,3445
-val fold_leftfold_left88,3627
-val fold_rightfold_right92,3766
-val iter2iter2100,3965
-val map2map2106,4191
-val rev_map2rev_map2112,4428
-val fold_left2fold_left2117,4638
-val fold_right2fold_right2123,4891
-val for_allfor_all133,5195
-val existsexists138,5400
-val for_all2for_all2143,5613
-val exists2exists2148,5816
-val memmem153,6017
-val memqmemq157,6128
-val findfind165,6306
-val filterfilter171,6526
-val find_allfind_all176,6734
-val partitionpartition179,6839
-val assocassoc190,7217
-val assqassq198,7532
-val mem_assocmem_assoc202,7679
-val mem_assqmem_assq206,7852
-val remove_assocremove_assoc210,8009
-val remove_assqremove_assq215,8195
-val splitsplit223,8418
-val combinecombine229,8617
-val sortsort240,8913
-val stable_sortstable_sort256,9641
-val fast_sortfast_sort265,9969
-val mergemerge269,10120
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/listLabels.mli,1155
-ListLabels1,0
-val lengthlength29,1516
-val hdhd32,1610
-val tltl36,1731
-val nthnth40,1862
-val revrev46,2114
-val appendappend49,2166
-val rev_appendrev_append54,2384
-val concatconcat59,2618
-val flattenflatten65,2879
-val iteriter73,3049
-val mapmap78,3242
-val rev_maprev_map83,3462
-val fold_leftfold_left88,3658
-val fold_rightfold_right92,3804
-val iter2iter2100,4010
-val map2map2106,4238
-val rev_map2rev_map2112,4477
-val fold_left2fold_left2117,4701
-val fold_right2fold_right2124,4963
-val for_allfor_all135,5276
-val existsexists140,5483
-val for_all2for_all2145,5698
-val exists2exists2150,5909
-val memmem155,6118
-val memqmemq159,6233
-val findfind167,6421
-val filterfilter173,6643
-val find_allfind_all178,6853
-val partitionpartition181,6966
-val assocassoc192,7346
-val assqassq200,7661
-val mem_assocmem_assoc204,7814
-val mem_assqmem_assq208,7997
-val remove_assocremove_assoc212,8164
-val remove_assqremove_assq217,8350
-val splitsplit225,8579
-val combinecombine231,8778
-val sortsort242,9074
-val stable_sortstable_sort258,9806
-val fast_sortfast_sort267,10144
-val mergemerge271,10299
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/map.mli,521
-Map1,0
-module type OrderedTypeOrderedType26,1359
- tt28,1391
- val comparecompare30,1441
-module type SS41,1979
- type keykey43,2001
- tt46,2052
- val emptyempty49,2128
- val is_emptyis_empty52,2175
- val addadd55,2254
- val findfind60,2478
- val removeremove64,2632
- val memmem68,2804
- val iteriter72,2939
- val mapmap80,3387
- val mapimapi87,3743
- val foldfold91,3938
- val comparecompare96,4194
- val equalequal100,4406
-module MakeMake109,4770
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/marshal.mli,399
-Marshal1,0
-type extern_flagsextern_flags47,2603
- No_sharingNo_sharing48,2623
- | ClosuresClosures49,2693
-val to_channelto_channel52,2820
-external to_stringto_string82,4425
-val to_bufferto_buffer89,4709
-val from_channelfrom_channel98,5171
-val from_stringfrom_string104,5430
-val header_sizeheader_size110,5707
-val data_sizedata_size132,6775
-val total_sizetotal_size135,6847
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/moreLabels.mli,2436
-MoreLabels1,0
-module HashtblHashtbl26,1257
- tt27,1278
- val createcreate28,1317
- val clearclear29,1350
- val addadd30,1383
- val copycopy31,1435
- val findfind32,1473
- val find_allfind_all33,1509
- val memmem34,1554
- val removeremove35,1591
- val replacereplace36,1631
- val iteriter37,1687
- val foldfold38,1752
- val lengthlength41,1844
- module type HashedTypeHashedType42,1877
- module type SS43,1923
- type keykey45,1949
- and 'a tt46,1964
- val createcreate47,1979
- val clearclear48,2010
- val copycopy49,2041
- val addadd50,2071
- val removeremove51,2122
- val findfind52,2161
- val find_allfind_all53,2196
- val replacereplace54,2240
- val memmem55,2295
- val iteriter56,2331
- val foldfold57,2395
- val lengthlength60,2492
- module MakeMake62,2531
- val hashhash63,2597
- external hash_paramhash_param64,2620
-module MapMap68,2714
- module type OrderedTypeOrderedType69,2731
- module type SS70,2775
- type keykey72,2801
- and (+'a) tt73,2816
- val emptyempty74,2834
- val is_emptyis_empty75,2857
- val addadd76,2890
- val findfind77,2941
- val removeremove78,2976
- val memmem79,3015
- val iteriter80,3051
- val mapmap81,3115
- val mapimapi82,3160
- val foldfold83,3213
- val comparecompare86,3310
- val equalequal87,3374
- module MakeMake89,3444
-module SetSet92,3520
- module type OrderedTypeOrderedType93,3537
- module type SS94,3581
- type eltelt96,3607
- and tt97,3622
- val emptyempty98,3634
- val is_emptyis_empty99,3654
- val memmem100,3685
- val addadd101,3718
- val singletonsingleton102,3748
- val removeremove103,3779
- val unionunion104,3812
- val interinter105,3842
- val diffdiff106,3872
- val comparecompare107,3901
- val equalequal108,3935
- val subsetsubset109,3968
- val iteriter110,4002
- val foldfold111,4048
- val for_allfor_all112,4107
- val existsexists113,4156
- val filterfilter114,4204
- val partitionpartition115,4249
- val cardinalcardinal116,4301
- val elementselements117,4331
- val min_eltmin_elt118,4366
- val max_eltmax_elt119,4395
- val choosechoose120,4424
- val splitsplit121,4452
- module MakeMake123,4502
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/mutex.mli,127
-Mutex1,0
-tt29,1326
-val createcreate32,1362
-val locklock35,1413
-val try_locktry_lock41,1655
-val unlockunlock47,1891
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/nat.mli,1986
-Nat1,0
-type natnat18,1000
-external create_natcreate_nat23,1138
-val make_natmake_nat24,1185
-external set_to_zero_natset_to_zero_nat25,1210
-external blit_natblit_nat26,1282
-val copy_natcopy_nat27,1354
-external set_digit_natset_digit_nat28,1393
-external nth_digit_natnth_digit_nat29,1461
-val length_natlength_nat30,1521
-external num_digits_natnum_digits_nat31,1550
-external num_leading_zero_bits_in_digitnum_leading_zero_bits_in_digit32,1619
-external is_digit_intis_digit_int33,1713
-external is_digit_zerois_digit_zero34,1772
-external is_digit_normalizedis_digit_normalized35,1833
-external is_digit_oddis_digit_odd36,1906
-val is_zero_natis_zero_nat37,1965
-val is_nat_intis_nat_int38,2008
-val int_of_natint_of_nat39,2050
-val nat_of_intnat_of_int40,2077
-external incr_natincr_nat41,2104
-external add_natadd_nat42,2168
-external complement_natcomplement_nat43,2268
-external decr_natdecr_nat44,2338
-external sub_natsub_nat45,2402
-external mult_digit_natmult_digit_nat46,2502
-external mult_natmult_nat47,2630
-external square_natsquare_nat48,2747
-external shift_left_natshift_left_nat49,2849
-external div_digit_natdiv_digit_nat50,2964
-external div_natdiv_nat51,3097
-external shift_right_natshift_right_nat52,3191
-external compare_digits_natcompare_digits_nat53,3309
-external compare_natcompare_nat54,3393
-val eq_nateq_nat55,3498
-val le_natle_nat56,3558
-val lt_natlt_nat57,3618
-val ge_natge_nat58,3678
-val gt_natgt_nat59,3738
-external land_digit_natland_digit_nat60,3798
-external lor_digit_natlor_digit_nat61,3875
-external lxor_digit_natlxor_digit_nat62,3950
-val gcd_natgcd_nat63,4027
-val sqrt_natsqrt_nat64,4087
-val string_of_natstring_of_nat65,4127
-val nat_of_stringnat_of_string66,4161
-val sys_nat_of_stringsys_nat_of_string67,4195
-val float_of_natfloat_of_nat68,4254
-val make_power_basemake_power_base69,4286
-val power_base_intpower_base_int70,4333
-val length_of_digitlength_of_digit71,4372
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/nativeint.mli,992
-Nativeint1,0
-val zerozero33,1687
-val oneone36,1737
-val minus_oneminus_one39,1786
-external negneg42,1842
-external addadd45,1923
-external subsub48,2011
-external mulmul51,2102
-external divdiv54,2196
-external remrem59,2463
-val succsucc66,2861
-val predpred70,2972
-val absabs74,3085
-val sizesize77,3169
-val max_intmax_int81,3311
-val min_intmin_int86,3468
-external logandlogand91,3619
-external logorlogor94,3721
-external logxorlogxor97,3820
-val lognotlognot100,3931
-external shift_leftshift_left103,4000
-external shift_rightshift_right109,4283
-external shift_right_logicalshift_right_logical115,4590
-external of_intof_int124,4918
-external to_intto_int128,5065
-external of_floatof_float133,5267
-external to_floatto_float140,5612
-external of_int32of_int32143,5748
-external to_int32to_int32147,5891
-external of_stringof_string154,6193
-val to_stringto_string163,6664
-tt166,6770
-val comparecompare169,6839
-external formatformat179,7177
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/num.mli,1705
-Num1,0
-type numnum27,1198
- IntInt28,1210
- | Big_intBig_int29,1225
- | RatioRatio30,1248
-val ( +/+/36,1304
-val add_numadd_num39,1366
-val minus_numminus_num42,1415
-val ( -/-/45,1466
-val sub_numsub_num48,1528
-val ( */*/51,1580
-val mult_nummult_num54,1643
-val square_numsquare_num57,1699
-val ( ////60,1744
-val div_numdiv_num63,1806
-val quo_numquo_num66,1855
-val mod_nummod_num69,1925
-val ( **/**/72,1996
-val power_numpower_num75,2062
-val abs_numabs_num78,2119
-val succ_numsucc_num81,2168
-val pred_numpred_num84,2220
-val incr_numincr_num87,2272
-val decr_numdecr_num90,2372
-val is_integer_numis_integer_num93,2472
-val integer_numinteger_num98,2618
-val floor_numfloor_num102,2749
-val round_numround_num105,2851
-val ceiling_numceiling_num109,2973
-val sign_numsign_num113,3080
-val ( =/=/118,3217
-val ( </</119,3249
-val ( >/>/120,3281
-val ( <=/<=/121,3313
-val ( >=/>=/122,3346
-val ( <>/<>/123,3379
-val eq_numeq_num124,3412
-val lt_numlt_num125,3444
-val le_numle_num126,3476
-val gt_numgt_num127,3508
-val ge_numge_num128,3540
-val compare_numcompare_num130,3573
-val max_nummax_num134,3727
-val min_nummin_num137,3808
-val string_of_numstring_of_num143,3925
-val approx_num_fixapprox_num_fix146,4024
-val approx_num_expapprox_num_exp149,4100
-val num_of_stringnum_of_string157,4526
-val int_of_numint_of_num162,4644
-val num_of_intnum_of_int163,4672
-val nat_of_numnat_of_num164,4700
-val num_of_natnum_of_nat165,4728
-val num_of_big_intnum_of_big_int166,4756
-val big_int_of_numbig_int_of_num167,4792
-val ratio_of_numratio_of_num168,4828
-val num_of_rationum_of_ratio169,4860
-val float_of_numfloat_of_num170,4892
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/obj.mli,970
-Obj1,0
-tt21,1037
-external reprrepr23,1045
-external objobj24,1083
-external magicmagic25,1120
-external is_blockis_block26,1160
-external is_intis_int27,1212
-external tagtag28,1256
-external set_tagset_tag29,1297
-external sizesize30,1354
-external truncatetruncate31,1393
-external fieldfield32,1452
-external set_fieldset_field33,1498
-external new_blocknew_block34,1560
-external dupdup35,1616
-val lazy_taglazy_tag37,1656
-val closure_tagclosure_tag38,1675
-val object_tagobject_tag39,1697
-val infix_taginfix_tag40,1718
-val forward_tagforward_tag41,1738
-val no_scan_tagno_scan_tag42,1760
-val abstract_tagabstract_tag43,1782
-val string_tagstring_tag44,1805
-val double_tagdouble_tag45,1826
-val double_array_tagdouble_array_tag46,1847
-val custom_tagcustom_tag47,1874
-val final_tagfinal_tag48,1895
-val int_tagint_tag50,1934
-val out_of_heap_tagout_of_heap_tag51,1952
-val marshalmarshal56,2067
-val unmarshalunmarshal57,2093
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/oo.mli,138
-Oo1,0
-val copycopy18,980
-external idid22,1141
-val new_methodnew_method28,1327
-val public_method_labelpublic_method_label29,1373
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/outcometree.mli,2513
-Outcometree1,0
-type out_identout_ident24,1229
- | Oide_applyOide_apply25,1246
- | Oide_dotOide_dot26,1286
- | Oide_identOide_ident27,1321
-type out_valueout_value29,1347
- | Oval_arrayOval_array30,1364
- | Oval_charOval_char31,1397
- | Oval_constrOval_constr32,1419
- | Oval_ellipsisOval_ellipsis33,1465
- | Oval_floatOval_float34,1483
- | Oval_intOval_int35,1507
- | Oval_int32Oval_int3236,1527
- | Oval_int64Oval_int6437,1551
- | Oval_nativeintOval_nativeint38,1575
- | Oval_listOval_list39,1607
- | Oval_printerOval_printer40,1639
- | Oval_recordOval_record41,1686
- | Oval_stringOval_string42,1734
- | Oval_stuffOval_stuff43,1760
- | Oval_tupleOval_tuple44,1785
- | Oval_variantOval_variant45,1818
-type out_typeout_type47,1865
- | Otyp_abstractOtyp_abstract48,1881
- | Otyp_aliasOtyp_alias49,1899
- | Otyp_arrowOtyp_arrow50,1935
- | Otyp_classOtyp_class51,1982
- | Otyp_constrOtyp_constr52,2033
- | Otyp_manifestOtyp_manifest53,2078
- | Otyp_objectOtyp_object54,2119
- | Otyp_recordOtyp_record55,2177
- | Otyp_stuffOtyp_stuff56,2228
- | Otyp_sumOtyp_sum57,2253
- | Otyp_tupleOtyp_tuple58,2299
- | Otyp_varOtyp_var59,2331
- | Otyp_variantOtyp_variant60,2361
- | Otyp_polyOtyp_poly62,2436
-and out_variantout_variant63,2476
- | Ovar_fieldsOvar_fields64,2494
- | Ovar_nameOvar_name65,2550
-type out_class_typeout_class_type67,2594
- | Octy_constrOcty_constr68,2616
- | Octy_funOcty_fun69,2661
- | Octy_signatureOcty_signature70,2712
-and out_class_sig_itemout_class_sig_item71,2776
- | Ocsg_constraintOcsg_constraint72,2801
- | Ocsg_methodOcsg_method73,2844
- | Ocsg_valueOcsg_value74,2895
-type out_module_typeout_module_type76,2946
- | Omty_abstractOmty_abstract77,2969
- | Omty_functorOmty_functor78,2987
- | Omty_identOmty_ident79,3050
- | Omty_signatureOmty_signature80,3078
-and out_sig_itemout_sig_item81,3118
- | Osig_classOsig_class82,3137
- | Osig_class_typeOsig_class_type85,3249
- | Osig_exceptionOsig_exception88,3366
- | Osig_modtypeOsig_modtype89,3411
- | Osig_moduleOsig_module90,3456
- | Osig_typeOsig_type91,3517
- | Osig_valueOsig_value92,3565
-and out_type_declout_type_decl93,3615
-and out_rec_statusout_rec_status96,3742
- | Orec_notOrec_not97,3763
- | Orec_firstOrec_first98,3776
- | Orec_nextOrec_next99,3791
-type out_phraseout_phrase101,3806
- | Ophr_evalOphr_eval102,3824
- | Ophr_signatureOphr_signature103,3862
- | Ophr_exceptionOphr_exception104,3923
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/parsing.mli,1109
-Parsing1,0
-val symbol_startsymbol_start18,1021
-val symbol_endsymbol_end26,1424
-val rhs_startrhs_start29,1490
-val rhs_endrhs_end35,1786
-val symbol_start_possymbol_start_pos38,1845
-val symbol_end_possymbol_end_pos41,1972
-val rhs_start_posrhs_start_pos44,2093
-val rhs_end_posrhs_end_pos47,2211
-val clear_parserclear_parser50,2325
-exception Parse_errorParse_error57,2634
-type parser_envparser_env70,2957
-type parse_tablesparse_tables72,2974
- { actionsactions73,2994
- transl_consttransl_const74,3037
- transl_blocktransl_block75,3067
- lhslhs76,3097
- lenlen77,3115
- defreddefred78,3133
- dgotodgoto79,3154
- sindexsindex80,3174
- rindexrindex81,3195
- gindexgindex82,3216
- tablesizetablesize83,3237
- tabletable84,3258
- checkcheck85,3278
- error_functionerror_function86,3298
- names_constnames_const87,3335
- names_blocknames_block88,3361
-exception YYexitYYexit90,3389
-val yyparseyyparse92,3416
-val peek_valpeek_val94,3500
-val is_current_lookaheadis_current_lookahead95,3539
-val parse_errorparse_error96,3577
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/pervasives.mli,6147
-Pervasives1,0
-external raiseraise29,1390
-val invalid_arginvalid_arg32,1468
-val failwithfailwith35,1565
-exception ExitExit38,1650
-external ( ==46,1804
-external ( <><>54,2238
-external ( <<57,2326
-external ( >>60,2406
-external ( <=<=63,2489
-external ( >=>=66,2571
-external comparecompare76,3079
-val minmin95,4090
-val maxmax98,4164
-external ( ====101,4238
-external ( !=!=110,4703
-external notnot117,4822
-external ( &&&&120,4893
-external ( &&125,5118
-external ( ||||128,5232
-external ( oror133,5454
-external ( ~-~-143,5756
-external succsucc146,5863
-external predpred149,5930
-external ( ++152,5997
-external ( --155,6070
-external ( **158,6146
-external ( //161,6225
-external ( modmod169,6614
-val absabs178,7000
-val max_intmax_int182,7136
-val min_intmin_int185,7198
-external ( landland193,7294
-external ( lorlor196,7373
-external ( lxorlxor199,7449
-val lnotlnot202,7537
-external ( lsllsl205,7593
-external ( lsrlsr211,7837
-external ( asrasr217,8082
-external ( ~-.~-.237,8955
-external ( +.+.240,9071
-external ( -.-.243,9159
-external ( *.*.246,9250
-external ( /./.249,9344
-external ( ****252,9433
-external sqrtsqrt255,9533
-external expexp258,9619
-external loglog261,9703
-external log10log10264,9793
-external coscos267,9889
-external sinsin270,9985
-external tantan273,10081
-external acosacos276,10177
-external asinasin279,10276
-external atanatan282,10375
-external atan2atan2285,10474
-external coshcosh288,10595
-external sinhsinh291,10693
-external tanhtanh294,10791
-external ceilceil297,10911
-external floorfloor300,11010
-external abs_floatabs_float307,11285
-external mod_floatmod_float310,11386
-external frexpfrexp315,11655
-external ldexpldexp322,11974
-external modfmodf325,12077
-external floatfloat329,12217
-external float_of_intfloat_of_int332,12307
-external truncatetruncate335,12406
-external int_of_floatint_of_float338,12499
-val infinityinfinity343,12727
-val neg_infinityneg_infinity346,12775
-val nannan349,12827
-val max_floatmax_float357,13221
-val min_floatmin_float360,13302
-val epsilon_floatepsilon_float363,13405
-type fpclassfpclass366,13500
- FP_normalFP_normal367,13515
- | FP_subnormalFP_subnormal368,13579
- | FP_zeroFP_zero369,13658
- | FP_infiniteFP_infinite370,13711
- | FP_nanFP_nan371,13782
-external classify_floatclassify_float375,13975
-val ( ^^385,14250
-external int_of_charint_of_char394,14415
-val char_of_intchar_of_int397,14511
-external ignoreignore405,14716
-val string_of_boolstring_of_bool416,15094
-val bool_of_stringbool_of_string419,15185
-val string_of_intstring_of_int424,15360
-external int_of_stringint_of_string427,15462
-val string_of_floatstring_of_float436,15955
-external float_of_stringfloat_of_string439,16062
-external fstfst447,16305
-external sndsnd450,16392
-val ( @@459,16566
-type in_channelin_channel465,16662
-type out_channelout_channel468,16713
-val stdinstdin471,16766
-val stdoutstdout474,16833
-val stderrstderr477,16903
-val print_charprint_char483,17027
-val print_stringprint_string486,17103
-val print_intprint_int489,17180
-val print_floatprint_float492,17266
-val print_endlineprint_endline495,17369
-val print_newlineprint_newline499,17510
-val prerr_charprerr_char507,17742
-val prerr_stringprerr_string510,17817
-val prerr_intprerr_int513,17893
-val prerr_floatprerr_float516,17978
-val prerr_endlineprerr_endline519,18080
-val prerr_newlineprerr_newline523,18218
-val read_lineread_line530,18380
-val read_intread_int535,18615
-val read_floatread_float540,18842
-type open_flagopen_flag549,19134
- Open_rdonlyOpen_rdonly550,19151
- | Open_wronlyOpen_wronly551,19197
- | Open_appendOpen_append552,19243
- | Open_creatOpen_creat553,19320
- | Open_truncOpen_trunc554,19386
- | Open_exclOpen_excl555,19451
- | Open_binaryOpen_binary556,19527
- | Open_textOpen_text557,19592
- | Open_nonblockOpen_nonblock558,19665
-val open_outopen_out562,19806
-val open_out_binopen_out_bin569,20139
-val open_out_genopen_out_gen575,20449
-val flushflush583,20860
-val flush_allflush_all589,21121
-val output_charoutput_char592,21205
-val output_stringoutput_string595,21308
-val outputoutput598,21412
-val output_byteoutput_byte604,21711
-val output_binary_intoutput_binary_int609,21903
-val output_valueoutput_value617,22283
-val seek_outseek_out625,22725
-val pos_outpos_out631,22995
-val out_channel_lengthout_channel_length636,23196
-val close_outclose_out641,23443
-val close_out_noerrclose_out_noerr649,23867
-val set_binary_mode_outset_binary_mode_out652,23961
-val open_inopen_in665,24535
-val open_in_binopen_in_bin670,24755
-val open_in_genopen_in_gen676,25060
-val input_charinput_char683,25400
-val input_lineinput_line687,25557
-val inputinput694,25867
-val really_inputreally_input711,26760
-val input_byteinput_byte719,27177
-val input_binary_intinput_binary_int724,27368
-val input_valueinput_value730,27633
-val seek_inseek_in737,27982
-val pos_inpos_in742,28207
-val in_channel_lengthin_channel_length745,28305
-val close_inclose_in753,28708
-val close_in_noerrclose_in_noerr760,29046
-val set_binary_mode_inset_binary_mode_in763,29137
-module LargeFileLargeFile775,29707
- val seek_outseek_out777,29732
- val pos_outpos_out778,29780
- val out_channel_lengthout_channel_length779,29819
- val seek_inseek_in780,29869
- val pos_inpos_in781,29915
- val in_channel_lengthin_channel_length782,29952
-type 'a refref793,30391
-type 'a ref = { mutable contentscontents793,30391
-external refref797,30526
-external ( !!800,30632
-external ( :=:=804,30774
-external incrincr808,30934
-external decrdecr812,31082
-type ('a, 'b, 'c, 'd) format4format4821,31357
-type ('a, 'b, 'c) formatformat823,31424
-val string_of_formatstring_of_format831,31810
-external format_of_stringformat_of_string834,31924
-val ( ^^^^840,32130
-val exitexit851,32438
-val at_exitat_exit860,32878
-val valid_float_lexemvalid_float_lexem873,33367
-val unsafe_really_inputunsafe_really_input875,33409
-val do_at_exitdo_at_exit877,33479
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/printexc.mli,93
-Printexc1,0
-val to_stringto_string18,999
-val printprint22,1117
-val catchcatch30,1475
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/printf.mli,1222
-Printf1,0
-val fprintffprintf18,986
-val printfprintf110,5821
-val eprintfeprintf113,5930
-val ifprintfifprintf116,6040
-val sprintfsprintf120,6217
-val bprintfbprintf124,6414
-val kfprintfkfprintf130,6701
-val ksprintfksprintf135,6949
-val kbprintfkbprintf139,7127
-val kprintfkprintf144,7361
-module CamlinternalPrCamlinternalPr151,7536
- module SformatSformat153,7565
- type indexindex154,7588
- val index_of_intindex_of_int156,7606
- external int_of_indexint_of_index157,7644
- external unsafe_index_of_intunsafe_index_of_int158,7701
- val succ_indexsucc_index160,7766
- val subsub162,7805
- val to_stringto_string163,7880
- external lengthlength164,7945
- external getget166,8034
- external unsafe_to_stringunsafe_to_string168,8130
- external unsafe_getunsafe_get170,8227
- module TformatTformat175,8342
- type acac177,8366
- mutable ac_rglrac_rglr178,8382
- mutable ac_skipac_skip179,8411
- mutable ac_rdrsac_rdrs180,8440
- val ac_of_formatac_of_format183,8478
- val sub_formatsub_format185,8543
- val summarize_format_typesummarize_format_type190,8749
- val scan_formatscan_format192,8825
- val kaprkapr202,9211
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/queue.mli,381
-Queue1,0
-tt21,1057
-exception EmptyEmpty25,1129
-val createcreate29,1227
-val addadd32,1298
-val pushpush35,1395
-val taketake38,1464
-val poppop42,1599
-val peekpeek45,1659
-val toptop49,1818
-val clearclear52,1878
-val copycopy55,1946
-val is_emptyis_empty58,2012
-val lengthlength61,2110
-val iteriter64,2185
-val foldfold69,2387
-val transfertransfer74,2579
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/random.mli,646
-Random1,0
-val initinit20,1029
-val full_initfull_init24,1183
-val self_initself_init27,1277
-val bitsbits31,1408
-val intint34,1487
-val int32int3239,1671
-val nativeintnativeint43,1843
-val int64int6447,2031
-val floatfloat51,2203
-val boolbool57,2446
-module StateState70,2846
- tt71,2865
- val makemake74,2909
- val make_self_initmake_self_init77,3005
- val copycopy81,3133
- val bitsbits84,3197
- val intint85,3219
- val int32int3286,3247
- val nativeintnativeint87,3285
- val int64int6488,3335
- val floatfloat89,3373
- val boolbool90,3407
-val get_stateget_state97,3591
-val set_stateset_state100,3702
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/ratio.mli,2632
-Ratio1,0
-type ratioratio26,1298
-val null_denominatornull_denominator28,1310
-val numerator_rationumerator_ratio29,1347
-val denominator_ratiodenominator_ratio30,1386
-val sign_ratiosign_ratio31,1427
-val normalize_rationormalize_ratio32,1457
-val cautious_normalize_ratiocautious_normalize_ratio33,1494
-val cautious_normalize_ratio_when_printingcautious_normalize_ratio_when_printing34,1540
-val create_ratiocreate_ratio35,1600
-val create_normalized_ratiocreate_normalized_ratio36,1647
-val is_normalized_ratiois_normalized_ratio37,1705
-val report_sign_ratioreport_sign_ratio38,1745
-val abs_ratioabs_ratio39,1797
-val is_integer_ratiois_integer_ratio40,1828
-val add_ratioadd_ratio41,1865
-val minus_ratiominus_ratio42,1905
-val add_int_ratioadd_int_ratio43,1938
-val add_big_int_ratioadd_big_int_ratio44,1980
-val sub_ratiosub_ratio45,2030
-val mult_ratiomult_ratio46,2070
-val mult_int_ratiomult_int_ratio47,2111
-val mult_big_int_ratiomult_big_int_ratio48,2154
-val square_ratiosquare_ratio49,2205
-val inverse_ratioinverse_ratio50,2239
-val div_ratiodiv_ratio51,2274
-val integer_ratiointeger_ratio52,2314
-val floor_ratiofloor_ratio53,2351
-val round_ratioround_ratio54,2386
-val ceiling_ratioceiling_ratio55,2421
-val eq_ratioeq_ratio56,2458
-val compare_ratiocompare_ratio57,2496
-val lt_ratiolt_ratio58,2538
-val le_ratiole_ratio59,2576
-val gt_ratiogt_ratio60,2614
-val ge_ratioge_ratio61,2652
-val max_ratiomax_ratio62,2690
-val min_ratiomin_ratio63,2730
-val eq_big_int_ratioeq_big_int_ratio64,2770
-val compare_big_int_ratiocompare_big_int_ratio65,2818
-val lt_big_int_ratiolt_big_int_ratio66,2870
-val le_big_int_ratiole_big_int_ratio67,2918
-val gt_big_int_ratiogt_big_int_ratio68,2966
-val ge_big_int_ratioge_big_int_ratio69,3014
-val int_of_ratioint_of_ratio70,3062
-val ratio_of_intratio_of_int71,3094
-val ratio_of_natratio_of_nat72,3126
-val nat_of_rationat_of_ratio73,3158
-val ratio_of_big_intratio_of_big_int74,3190
-val big_int_of_ratiobig_int_of_ratio75,3230
-val div_int_ratiodiv_int_ratio76,3270
-val div_ratio_intdiv_ratio_int77,3312
-val div_big_int_ratiodiv_big_int_ratio78,3354
-val div_ratio_big_intdiv_ratio_big_int79,3404
-val approx_ratio_fixapprox_ratio_fix80,3454
-val approx_ratio_expapprox_ratio_exp81,3500
-val float_of_rational_stringfloat_of_rational_string82,3546
-val string_of_ratiostring_of_ratio83,3593
-val ratio_of_stringratio_of_string84,3631
-val float_of_ratiofloat_of_ratio85,3669
-val power_ratio_positive_intpower_ratio_positive_int86,3705
-val power_ratio_positive_big_intpower_ratio_positive_big_int87,3758
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/scanf.mli,780
-Scanf1,0
-module ScanningScanning54,3054
-type scanbufscanbuf56,3077
-val stdibstdib67,3626
-val from_stringfrom_string76,4039
-val from_filefrom_file82,4311
-val from_file_binfrom_file_bin90,4740
-val from_functionfrom_function93,4828
-val from_channelfrom_channel102,5205
-val end_of_inputend_of_input107,5424
-val beginning_of_inputbeginning_of_input111,5563
-val name_of_inputname_of_input115,5720
-exception Scan_failureScan_failure121,5883
-type ('a, 'b, 'c, 'd) scannerscanner125,6041
-val bscanfbscanf147,7181
-val fscanffscanf301,15480
-val sscanfsscanf320,16494
-val scanfscanf323,16610
-val kscanfkscanf327,16786
-val bscanf_formatbscanf_format336,17208
-val sscanf_formatsscanf_format345,17628
-val format_from_stringformat_from_string350,17822
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/set.mli,919
-Set1,0
-module type OrderedTypeOrderedType26,1342
- tt28,1374
- val comparecompare30,1428
-module type SS41,1978
- type eltelt43,2000
- tt46,2055
- val emptyempty49,2096
- val is_emptyis_empty52,2140
- val memmem55,2216
- val addadd58,2310
- val singletonsingleton62,2476
- val removeremove65,2579
- val unionunion69,2749
- val interinter72,2799
- val diffdiff76,2883
- val comparecompare78,2910
- val equalequal82,3050
- val subsetsubset86,3194
- val iteriter90,3315
- val foldfold95,3558
- val for_allfor_all99,3745
- val existsexists103,3883
- val filterfilter107,4029
- val partitionpartition111,4168
- val cardinalcardinal117,4452
- val elementselements120,4531
- val min_eltmin_elt126,4788
- val max_eltmax_elt131,4973
- val choosechoose135,5094
- val splitsplit140,5314
-module MakeMake151,5788
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/sort.mli,80
-Sort1,0
-val listlist24,1199
-val arrayarray29,1436
-val mergemerge36,1710
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/stack.mli,265
-Stack1,0
-tt21,1057
-exception EmptyEmpty24,1128
-val createcreate28,1224
-val pushpush31,1295
-val poppop34,1390
-val toptop38,1525
-val clearclear42,1648
-val copycopy45,1716
-val is_emptyis_empty48,1782
-val lengthlength51,1880
-val iteriter54,1955
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/stdLabels.mli,3244
-StdLabels1,0
-module ArrayArray25,1228
- external lengthlength27,1249
- external getget28,1305
- external setset29,1366
- external makemake30,1435
- external createcreate31,1496
- val initinit32,1559
- val make_matrixmake_matrix33,1607
- val create_matrixcreate_matrix34,1674
- val appendappend35,1743
- val concatconcat36,1793
- val subsub37,1836
- val copycopy38,1893
- val fillfill39,1929
- val blitblit40,1989
- val to_listto_list43,2096
- val of_listof_list44,2134
- val iteriter45,2172
- val mapmap46,2222
- val iteriiteri47,2273
- val mapimapi48,2331
- val fold_leftfold_left49,2390
- val fold_rightfold_right50,2458
- val sortsort51,2527
- val stable_sortstable_sort52,2584
- val fast_sortfast_sort53,2648
- external unsafe_getunsafe_get54,2710
- external unsafe_setunsafe_set55,2780
-module ListList58,2865
- val lengthlength60,2885
- val hdhd61,2917
- val tltl62,2944
- val nthnth63,2976
- val revrev64,3011
- val appendappend65,3044
- val rev_appendrev_append66,3091
- val concatconcat67,3142
- val flattenflatten68,3183
- val iteriter69,3225
- val mapmap70,3274
- val rev_maprev_map71,3323
- val fold_leftfold_left72,3376
- val fold_rightfold_right73,3443
- val iter2iter274,3511
- val map2map275,3578
- val rev_map2rev_map276,3645
- val fold_left2fold_left277,3716
- val fold_right2fold_right279,3807
- val for_allfor_all81,3899
- val existsexists82,3951
- val for_all2for_all283,4002
- val exists2exists284,4072
- val memmem85,4141
- val memqmemq86,4181
- val findfind87,4222
- val filterfilter88,4269
- val find_allfind_all89,4323
- val partitionpartition90,4379
- val assocassoc91,4446
- val assqassq92,4489
- val mem_assocmem_assoc93,4531
- val mem_assqmem_assq94,4584
- val remove_assocremove_assoc95,4636
- val remove_assqremove_assq96,4698
- val splitsplit97,4759
- val combinecombine98,4811
- val sortsort99,4866
- val stable_sortstable_sort100,4925
- val fast_sortfast_sort101,4991
- val mergemerge102,5055
-module StringString105,5133
- external lengthlength107,5155
- external getget108,5210
- external setset109,5272
- external createcreate110,5342
- val makemake111,5401
- val copycopy112,5438
- val subsub113,5470
- val fillfill114,5523
- val blitblit115,5583
- val concatconcat118,5686
- val iteriter119,5739
- val escapedescaped120,5789
- val indexindex121,5824
- val rindexrindex122,5862
- val index_fromindex_from123,5901
- val rindex_fromrindex_from124,5951
- val containscontains125,6002
- val contains_fromcontains_from126,6044
- val rcontains_fromrcontains_from127,6098
- val uppercaseuppercase128,6153
- val lowercaselowercase129,6190
- val capitalizecapitalize130,6227
- val uncapitalizeuncapitalize131,6265
- tt132,6305
- val comparecompare133,6325
- external unsafe_getunsafe_get134,6356
- external unsafe_setunsafe_set135,6427
- external unsafe_blitunsafe_blit136,6506
- external unsafe_fillunsafe_fill139,6652
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/str.mli,1362
-Str1,0
-type regexpregexp22,1045
-val regexpregexp26,1108
-val regexp_case_foldregexp_case_fold54,2554
-val quotequote59,2770
-val regexp_stringregexp_string63,2891
-val regexp_string_case_foldregexp_string_case_fold67,3032
-val string_matchstring_match75,3254
-val search_forwardsearch_forward80,3505
-val search_backwardsearch_backward87,3878
-val string_partial_matchstring_partial_match95,4279
-val matched_stringmatched_string100,4516
-val match_beginningmatch_beginning107,4853
-val match_endmatch_end112,5072
-val matched_groupmatched_group117,5296
-val group_beginninggroup_beginning131,6049
-val group_endgroup_end140,6418
-val global_replaceglobal_replace153,6820
-val replace_firstreplace_first161,7288
-val global_substituteglobal_substitute165,7469
-val substitute_firstsubstitute_first172,7860
-val replace_matchedreplace_matched176,8059
-val splitsplit187,8436
-val bounded_splitbounded_split194,8807
-val split_delimsplit_delim198,8981
-val bounded_split_delimbounded_split_delim206,9347
-type split_resultsplit_result211,9595
- TextText212,9616
- | DelimDelim213,9635
-val full_splitfull_split215,9656
-val bounded_full_splitbounded_full_split223,10022
-val string_beforestring_before233,10345
-val string_afterstring_after238,10547
-val first_charsfirst_chars243,10738
-val last_charslast_chars247,10909
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/stream.mli,580
-Stream1,0
-tt18,982
-exception FailureFailure21,1049
-exception ErrorError25,1166
-val fromfrom37,1541
-val of_listof_list44,1863
-val of_stringof_string48,1974
-val of_channelof_channel51,2076
-val iteriter57,2216
-val nextnext64,2409
-val emptyempty68,2557
-val peekpeek74,2685
-val junkjunk78,2811
-val countcount82,2917
-val npeeknpeek86,3051
-val iappiapp95,3305
-val iconsicons96,3337
-val isingising97,3368
-val lapplapp99,3392
-val lconslcons100,3434
-val lsinglsing101,3475
-val semptysempty103,3509
-val slazyslazy104,3527
-val dumpdump106,3563
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/string.mli,890
-String1,0
-external lengthlength18,980
-external getget21,1101
-external setset31,1511
-external createcreate38,1857
-val makemake44,2102
-val copycopy49,2306
-val subsub52,2377
-val fillfill60,2752
-val blitblit67,3036
-val concatconcat77,3573
-val iteriter81,3742
-val escapedescaped86,3954
-val indexindex93,4244
-val rindexrindex98,4439
-val index_fromindex_from103,4637
-val rindex_fromrindex_from108,4856
-val containscontains114,5103
-val contains_fromcontains_from118,5224
-val rcontains_fromrcontains_from124,5485
-val uppercaseuppercase130,5757
-val lowercaselowercase135,5957
-val capitalizecapitalize140,6157
-val uncapitalizeuncapitalize143,6273
-tt146,6391
-val comparecompare149,6449
-external unsafe_getunsafe_get157,6743
-external unsafe_setunsafe_set158,6810
-external unsafe_blitunsafe_blit159,6885
-external unsafe_fillunsafe_fill161,6987
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/stringLabels.mli,896
-StringLabels1,0
-external lengthlength18,987
-external getget21,1108
-external setset31,1518
-external createcreate38,1864
-val makemake44,2109
-val copycopy49,2313
-val subsub52,2384
-val fillfill60,2773
-val blitblit67,3065
-val concatconcat78,3632
-val iteriter82,3805
-val escapedescaped87,4019
-val indexindex94,4309
-val rindexrindex99,4504
-val index_fromindex_from104,4702
-val rindex_fromrindex_from109,4927
-val containscontains115,5180
-val contains_fromcontains_from119,5301
-val rcontains_fromrcontains_from125,5562
-val uppercaseuppercase131,5834
-val lowercaselowercase136,6034
-val capitalizecapitalize141,6234
-val uncapitalizeuncapitalize144,6350
-tt147,6468
-val comparecompare150,6526
-external unsafe_getunsafe_get158,6820
-external unsafe_setunsafe_set159,6887
-external unsafe_blitunsafe_blit160,6962
-external unsafe_fillunsafe_fill163,7096
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/sys.mli,1543
-Sys1,0
-val argvargv18,975
-val executable_nameexecutable_name24,1207
-external file_existsfile_exists27,1310
-external is_directoryis_directory30,1424
-external removeremove35,1664
-external renamerename38,1774
-external getenvgetenv44,2073
-external commandcommand48,2255
-external timetime51,2382
-external chdirchdir55,2534
-external getcwdgetcwd58,2646
-external readdirreaddir61,2760
-val interactiveinteractive70,3272
-val os_typeos_type75,3470
-val word_sizeword_size81,3756
-val max_string_lengthmax_string_length85,3876
-val max_array_lengthmax_array_length88,3940
-type signal_behaviorsignal_behavior97,4170
- Signal_defaultSignal_default98,4193
- | Signal_ignoreSignal_ignore99,4212
- | Signal_handleSignal_handle100,4230
-external signalsignal108,4519
-val set_signalset_signal116,4906
-val sigabrtsigabrt122,5073
-val sigalrmsigalrm125,5120
-val sigfpesigfpe128,5154
-val sighupsighup131,5200
-val sigillsigill134,5256
-val sigintsigint137,5310
-val sigkillsigkill140,5366
-val sigpipesigpipe143,5424
-val sigquitsigquit146,5462
-val sigsegvsigsegv149,5512
-val sigtermsigterm152,5563
-val sigusr1sigusr1155,5601
-val sigusr2sigusr2158,5656
-val sigchldsigchld161,5711
-val sigcontsigcont164,5762
-val sigstopsigstop167,5797
-val sigtstpsigtstp170,5828
-val sigttinsigttin173,5871
-val sigttousigttou176,5935
-val sigvtalrmsigvtalrm179,6000
-val sigprofsigprof182,6052
-exception BreakBreak186,6099
-val catch_breakcatch_break191,6198
-val ocaml_versionocaml_version199,6501
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/thread.mli,497
-Thread1,0
-tt18,1011
-val createcreate23,1098
-external selfself36,1770
-external idid39,1864
-val exitexit44,2094
-val killkill47,2180
-val delaydelay52,2296
-external joinjoin57,2467
-val wait_readwait_read61,2618
-val wait_writewait_write64,2691
-val wait_timed_readwait_timed_read67,2791
-val wait_timed_writewait_timed_write70,2884
-val selectselect82,3430
-val wait_pidwait_pid92,3854
-val yieldyield99,4180
-val sigmasksigmask115,4931
-val wait_signalwait_signal127,5439
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/threadUnix.mli,708
-ThreadUnix1,0
-val execvexecv26,1330
-val execveexecve27,1373
-val execvpexecvp28,1433
-val waitwait29,1477
-val waitpidwaitpid30,1522
-val systemsystem31,1592
-val readread35,1667
-val writewrite36,1725
-val timed_readtimed_read40,1823
-val timed_writetimed_write45,1947
-val selectselect55,2308
-val pipepipe62,2517
-val open_process_inopen_process_in63,2570
-val open_process_outopen_process_out64,2612
-val open_processopen_process65,2656
-val sleepsleep69,2727
-val socketsocket73,2772
-val acceptaccept75,2863
-val connectconnect76,2927
-val recvrecv77,2982
-val recvfromrecvfrom79,3073
-val sendsend81,3188
-val sendtosendto83,3279
-val open_connectionopen_connection85,3391
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/unix.mli,16197
-Unix1,0
-type errorerror22,1016
- E2BIGE2BIG23,1029
- | EACCESEACCES24,1083
- | EAGAINEAGAIN25,1132
- | EBADFEBADF26,1207
- | EBUSYEBUSY27,1258
- | ECHILDECHILD28,1310
- | EDEADLKEDEADLK29,1358
- | EDOMEDOM30,1419
- | EEXISTEEXIST31,1488
- | EFAULTEFAULT32,1531
- | EFBIGEFBIG33,1574
- | EINTREINTR34,1620
- | EINVALEINVAL35,1682
- | EIOEIO36,1730
- | EISDIREISDIR37,1780
- | EMFILEEMFILE38,1826
- | EMLINKEMLINK39,1892
- | ENAMETOOLONGENAMETOOLONG40,1938
- | ENFILEENFILE41,1987
- | ENODEVENODEV42,2052
- | ENOENTENOENT43,2098
- | ENOEXECENOEXEC44,2155
- | ENOLCKENOLCK45,2209
- | ENOMEMENOMEM46,2259
- | ENOSPCENOSPC47,2308
- | ENOSYSENOSYS48,2363
- | ENOTDIRENOTDIR49,2417
- | ENOTEMPTYENOTEMPTY50,2464
- | ENOTTYENOTTY51,2515
- | ENXIOENXIO52,2582
- | EPERMEPERM53,2639
- | EPIPEEPIPE54,2694
- | ERANGEERANGE55,2737
- | EROFSEROFS56,2785
- | ESPIPEESPIPE57,2838
- | ESRCHESRCH58,2897
- | EXDEVEXDEV59,2944
- | EWOULDBLOCKEWOULDBLOCK60,2988
- | EINPROGRESSEINPROGRESS61,3041
- | EALREADYEALREADY62,3098
- | ENOTSOCKENOTSOCK63,3159
- | EDESTADDRREQEDESTADDRREQ64,3221
- | EMSGSIZEEMSGSIZE65,3281
- | EPROTOTYPEEPROTOTYPE66,3329
- | ENOPROTOOPTENOPROTOOPT67,3391
- | EPROTONOSUPPORTEPROTONOSUPPORT68,3445
- | ESOCKTNOSUPPORTESOCKTNOSUPPORT69,3499
- | EOPNOTSUPPEOPNOTSUPP70,3556
- | EPFNOSUPPORTEPFNOSUPPORT71,3621
- | EAFNOSUPPORTEAFNOSUPPORT72,3682
- | EADDRINUSEEADDRINUSE73,3761
- | EADDRNOTAVAILEADDRNOTAVAIL74,3815
- | ENETDOWNENETDOWN75,3877
- | ENETUNREACHENETUNREACH76,3924
- | ENETRESETENETRESET77,3978
- | ECONNABORTEDECONNABORTED78,4045
- | ECONNRESETECONNRESET79,4109
- | ENOBUFSENOBUFS80,4165
- | EISCONNEISCONN81,4222
- | ENOTCONNENOTCONN82,4281
- | ESHUTDOWNESHUTDOWN83,4336
- | ETOOMANYREFSETOOMANYREFS84,4400
- | ETIMEDOUTETIMEDOUT85,4465
- | ECONNREFUSEDECONNREFUSED86,4517
- | EHOSTDOWNEHOSTDOWN87,4567
- | EHOSTUNREACHEHOSTUNREACH88,4611
- | ELOOPELOOP89,4659
- | EOVERFLOWEOVERFLOW90,4724
- | EUNKNOWNERREUNKNOWNERR92,4796
-exception Unix_errorUnix_error100,5008
-val error_messageerror_message106,5325
-val handle_unix_errorhandle_unix_error109,5418
-val environmentenvironment118,5699
-val getenvgetenv122,5841
-val putenvputenv127,6047
-type process_statusprocess_status137,6312
- WEXITEDWEXITED138,6334
- | WSIGNALEDWSIGNALED141,6455
- | WSTOPPEDWSTOPPED144,6573
-type wait_flagwait_flag150,6737
- WNOHANGWNOHANG151,6754
- | WUNTRACEDWUNTRACED153,6872
-val execvexecv156,6980
-val execveexecve163,7312
-val execvpexecvp167,7485
-val execvpeexecvpe171,7610
-val forkfork175,7753
-val waitwait179,7909
-val waitpidwaitpid183,8049
-val systemsystem192,8510
-val getpidgetpid199,8841
-val getppidgetppid202,8905
-val nicenice205,8977
-type file_descrfile_descr214,9221
-val stdinstdin217,9284
-val stdoutstdout220,9350
-val stderrstderr223,9418
-type open_flagopen_flag226,9486
- O_RDONLYO_RDONLY227,9503
- | O_WRONLYO_WRONLY228,9559
- | O_RDWRO_RDWR229,9615
- | O_NONBLOCKO_NONBLOCK230,9683
- | O_APPENDO_APPEND231,9748
- | O_CREATO_CREAT232,9803
- | O_TRUNCO_TRUNC233,9864
- | O_EXCLO_EXCL234,9936
- | O_NOCTTYO_NOCTTY235,9992
- | O_DSYNCO_DSYNC236,10069
- | O_SYNCO_SYNC237,10172
- | O_RSYNCO_RSYNC238,10275
-type file_permfile_perm242,10409
-val openfileopenfile246,10547
-val closeclose251,10786
-val readread254,10850
-val writewrite259,11108
-val single_writesingle_write266,11476
-val in_channel_of_descrin_channel_of_descr275,11749
-val out_channel_of_descrout_channel_of_descr280,11973
-val descr_of_in_channeldescr_of_in_channel285,12199
-val descr_of_out_channeldescr_of_out_channel288,12315
-type seek_commandseek_command295,12471
- SEEK_SETSEEK_SET296,12491
- | SEEK_CURSEEK_CUR297,12569
- | SEEK_ENDSEEK_END298,12642
-val lseeklseek302,12760
-val truncatetruncate305,12868
-val ftruncateftruncate308,12957
-type file_kindfile_kind316,13112
- S_REGS_REG317,13129
- | S_DIRS_DIR318,13181
- | S_CHRS_CHR319,13230
- | S_BLKS_BLK320,13286
- | S_LNKS_LNK321,13338
- | S_FIFOS_FIFO322,13391
- | S_SOCKS_SOCK323,13441
-type statsstats325,13488
- { st_devst_dev326,13501
- st_inost_ino327,13554
- st_kindst_kind328,13606
- st_permst_perm329,13662
- st_nlinkst_nlink330,13715
- st_uidst_uid331,13770
- st_gidst_gid332,13830
- st_rdevst_rdev333,13898
- st_sizest_size334,13957
- st_atimest_atime335,14010
- st_mtimest_mtime336,14066
- st_ctimest_ctime337,14128
-val statstat341,14256
-val lstatlstat344,14334
-val fstatfstat348,14480
-val isattyisatty352,14597
-module LargeFileLargeFile358,14785
- val lseeklseek360,14810
- val truncatetruncate361,14871
- val ftruncateftruncate362,14914
- type statsstats363,14962
- { st_devst_dev364,14979
- st_inost_ino365,15036
- st_kindst_kind366,15092
- st_permst_perm367,15152
- st_nlinkst_nlink368,15209
- st_uidst_uid369,15268
- st_gidst_gid370,15332
- st_rdevst_rdev371,15404
- st_sizest_size372,15467
- st_atimest_atime373,15524
- st_mtimest_mtime374,15584
- st_ctimest_ctime375,15650
- val statstat377,15725
- val lstatlstat378,15756
- val fstatfstat379,15788
-val unlinkunlink395,16402
-val renamerename398,16461
-val linklink401,16572
-type access_permissionaccess_permission409,16744
- R_OKR_OK410,16769
- | W_OKW_OK411,16824
- | X_OKX_OK412,16880
- | F_OKF_OK413,16940
-val chmodchmod417,17035
-val fchmodfchmod420,17125
-val chownchown423,17220
-val fchownfchown426,17323
-val umaskumask429,17431
-val accessaccess433,17539
-val dupdup441,17749
-val dup2dup2445,17875
-val set_nonblockset_nonblock449,18005
-val clear_nonblockclear_nonblock457,18405
-val set_close_on_execset_close_on_exec461,18538
-val clear_close_on_execclear_close_on_exec467,18801
-val mkdirmkdir475,18971
-val rmdirrmdir478,19066
-val chdirchdir481,19128
-val getcwdgetcwd484,19201
-val chrootchroot487,19287
-type dir_handledir_handle490,19358
-val opendiropendir493,19431
-val readdirreaddir496,19507
-val rewinddirrewinddir500,19658
-val closedirclosedir503,19761
-val pipepipe511,19871
-val mkfifomkfifo516,20106
-val create_processcreate_process523,20263
-val create_process_envcreate_process_env538,21051
-val open_process_inopen_process_in546,21371
-val open_process_outopen_process_out553,21717
-val open_processopen_process561,22115
-val open_process_fullopen_process_full567,22456
-val close_process_inclose_process_in574,22803
-val close_process_outclose_process_out579,23000
-val close_processclose_process584,23200
-val close_process_fullclose_process_full589,23405
-val symlinksymlink599,23664
-val readlinkreadlink603,23801
-val selectselect610,23892
-type lock_commandlock_command627,24664
- F_ULOCKF_ULOCK628,24684
- | F_LOCKF_LOCK629,24725
- | F_TLOCKF_TLOCK630,24805
- | F_TESTF_TEST631,24883
- | F_RLOCKF_RLOCK632,24946
- | F_TRLOCKF_TRLOCK633,25026
-val lockflockf636,25140
-val killkill668,26617
-type sigprocmask_commandsigprocmask_command672,26729
- SIG_SETMASKSIG_SETMASK673,26756
- | SIG_BLOCKSIG_BLOCK674,26772
- | SIG_UNBLOCKSIG_UNBLOCK675,26786
-val sigprocmasksigprocmask677,26803
-val sigpendingsigpending687,27276
-val sigsuspendsigsuspend690,27380
-val pausepause695,27622
-type process_timesprocess_times702,27743
- { tms_utimetms_utime703,27764
- tms_stimetms_stime704,27821
- tms_cutimetms_cutime705,27880
- tms_cstimetms_cstime706,27948
-type tmtm710,28076
- { tm_sectm_sec711,28086
- tm_mintm_min712,28139
- tm_hourtm_hour713,28192
- tm_mdaytm_mday714,28243
- tm_montm_mon715,28301
- tm_yeartm_year716,28360
- tm_wdaytm_wday717,28411
- tm_ydaytm_yday718,28476
- tm_isdsttm_isdst719,28534
-val timetime724,28674
-val gettimeofdaygettimeofday728,28780
-val gmtimegmtime731,28885
-val localtimelocaltime735,29062
-val mktimemktime739,29210
-val alarmalarm749,29738
-val sleepsleep752,29832
-val timestimes755,29912
-val utimesutimes758,29997
-type interval_timerinterval_timer763,30210
- ITIMER_REALITIMER_REAL764,30232
- | ITIMER_VIRTUALITIMER_VIRTUAL766,30330
- | ITIMER_PROFITIMER_PROF768,30435
-type interval_timer_statusinterval_timer_status774,30676
- { it_intervalit_interval775,30705
- it_valueit_value776,30752
-val getitimergetitimer780,30883
-val setitimersetitimer783,31002
-val getuidgetuid798,31578
-val geteuidgeteuid801,31665
-val setuidsetuid804,31758
-val getgidgetgid807,31851
-val getegidgetegid810,31939
-val setgidsetgid813,32033
-val getgroupsgetgroups816,32128
-type passwd_entrypasswd_entry820,32248
- { pw_namepw_name821,32268
- pw_passwdpw_passwd822,32290
- pw_uidpw_uid823,32314
- pw_gidpw_gid824,32332
- pw_gecospw_gecos825,32350
- pw_dirpw_dir826,32373
- pw_shellpw_shell827,32394
-type group_entrygroup_entry831,32475
- { gr_namegr_name832,32494
- gr_passwdgr_passwd833,32516
- gr_gidgr_gid834,32540
- gr_memgr_mem835,32558
-val getlogingetlogin839,32643
-val getpwnamgetpwnam842,32738
-val getgrnamgetgrnam846,32856
-val getpwuidgetpwuid850,32972
-val getgrgidgetgrgid854,33090
-type inet_addrinet_addr862,33240
-val inet_addr_of_stringinet_addr_of_string865,33304
-val string_of_inet_addrstring_of_inet_addr873,33714
-val inet_addr_anyinet_addr_any878,33926
-val inet_addr_loopbackinet_addr_loopback882,34090
-val inet6_addr_anyinet6_addr_any885,34201
-val inet6_addr_loopbackinet6_addr_loopback889,34366
-type socket_domainsocket_domain896,34494
- PF_UNIXPF_UNIX897,34515
- | PF_INETPF_INET898,34566
- | PF_INET6PF_INET6899,34628
-type socket_typesocket_type902,34726
- SOCK_STREAMSOCK_STREAM903,34745
- | SOCK_DGRAMSOCK_DGRAM904,34798
- | SOCK_RAWSOCK_RAW905,34853
- | SOCK_SEQPACKETSOCK_SEQPACKET906,34903
-type sockaddrsockaddr910,35048
-type sockaddr = ADDR_UNIXADDR_UNIX910,35048
-type sockaddr = ADDR_UNIX of string | ADDR_INETADDR_INET910,35048
-val socketsocket917,35409
-val domain_of_sockaddrdomain_of_sockaddr922,35650
-val socketpairsocketpair925,35772
-val acceptaccept929,35916
-val bindbind934,36142
-val connectconnect937,36221
-val listenlisten940,36306
-type shutdown_commandshutdown_command944,36471
- SHUTDOWN_RECEIVESHUTDOWN_RECEIVE945,36495
- | SHUTDOWN_SENDSHUTDOWN_SEND946,36554
- | SHUTDOWN_ALLSHUTDOWN_ALL947,36611
-val shutdownshutdown951,36707
-val getsocknamegetsockname958,37052
-val getpeernamegetpeername961,37141
-type msg_flagmsg_flag964,37252
- MSG_OOBMSG_OOB965,37268
- | MSG_DONTROUTEMSG_DONTROUTE966,37280
- | MSG_PEEKMSG_PEEK967,37298
-val recvrecv971,37402
-val recvfromrecvfrom974,37518
-val sendsend978,37654
-val sendtosendto981,37767
-type socket_bool_optionsocket_bool_option990,37929
- SO_DEBUGSO_DEBUG991,37955
- | SO_BROADCASTSO_BROADCAST992,38010
- | SO_REUSEADDRSO_REUSEADDR993,38073
- | SO_KEEPALIVESO_KEEPALIVE994,38139
- | SO_DONTROUTESO_DONTROUTE995,38188
- | SO_OOBINLINESO_OOBINLINE996,38253
- | SO_ACCEPTCONNSO_ACCEPTCONN997,38310
-type socket_int_optionsocket_int_option1002,38550
- SO_SNDBUFSO_SNDBUF1003,38575
- | SO_RCVBUFSO_RCVBUF1004,38621
- | SO_ERRORSO_ERROR1005,38671
- | SO_TYPESO_TYPE1006,38734
- | SO_RCVLOWATSO_RCVLOWAT1007,38783
- | SO_SNDLOWATSO_SNDLOWAT1008,38865
-type socket_optint_optionsocket_optint_option1013,39111
- SO_LINGERSO_LINGER1014,39139
-type socket_float_optionsocket_float_option1021,39512
- SO_RCVTIMEOSO_RCVTIMEO1022,39539
- | SO_SNDTIMEOSO_SNDTIMEO1023,39594
-val getsockoptgetsockopt1029,39893
-val setsockoptsetsockopt1033,40036
-external getsockopt_intgetsockopt_int1036,40168
-external setsockopt_intsetsockopt_int1040,40331
-external getsockopt_optintgetsockopt_optint1044,40502
-external setsockopt_optintsetsockopt_optint1048,40696
-external getsockopt_floatgetsockopt_float1053,40902
-external setsockopt_floatsetsockopt_float1057,41096
-val open_connectionopen_connection1064,41351
-val shutdown_connectionshutdown_connection1070,41642
-val establish_serverestablish_server1075,41872
-type host_entryhost_entry1086,42281
- { h_nameh_name1087,42299
- h_aliasesh_aliases1088,42320
- h_addrtypeh_addrtype1089,42350
- h_addr_listh_addr_list1090,42382
-type protocol_entryprotocol_entry1094,42474
- { p_namep_name1095,42496
- p_aliasesp_aliases1096,42517
- p_protop_proto1097,42547
-type service_entryservice_entry1101,42627
- { s_names_name1102,42648
- s_aliasess_aliases1103,42669
- s_ports_port1104,42699
- s_protos_proto1105,42717
-val gethostnamegethostname1109,42799
-val gethostbynamegethostbyname1112,42875
-val gethostbyaddrgethostbyaddr1116,42995
-val getprotobynamegetprotobyname1120,43121
-val getprotobynumbergetprotobynumber1124,43250
-val getservbynamegetservbyname1128,43389
-val getservbyportgetservbyport1132,43525
-type addr_infoaddr_info1136,43668
- { ai_familyai_family1137,43685
- ai_socktypeai_socktype1138,43746
- ai_protocolai_protocol1139,43805
- ai_addrai_addr1140,43875
- ai_canonnameai_canonname1141,43930
-type getaddrinfo_optiongetaddrinfo_option1145,44063
- AI_FAMILYAI_FAMILY1146,44089
- | AI_SOCKTYPEAI_SOCKTYPE1147,44167
- | AI_PROTOCOLAI_PROTOCOL1148,44243
- | AI_NUMERICHOSTAI_NUMERICHOST1149,44317
- | AI_CANONNAMEAI_CANONNAME1151,44461
- | AI_PASSIVEAI_PASSIVE1153,44596
-val getaddrinfogetaddrinfo1157,44784
-type name_infoname_info1176,45861
- { ni_hostnameni_hostname1177,45878
- ni_serviceni_service1178,45952
-type getnameinfo_optiongetnameinfo_option1181,46100
- NI_NOFQDNNI_NOFQDN1182,46126
- | NI_NUMERICHOSTNI_NUMERICHOST1183,46190
- | NI_NAMEREQDNI_NAMEREQD1184,46255
- | NI_NUMERICSERVNI_NUMERICSERV1185,46326
- | NI_DGRAMNI_DGRAM1186,46395
-val getnameinfogetnameinfo1190,46557
-type terminal_ioterminal_io1205,47140
- mutable c_ignbrkc_ignbrk1208,47185
- mutable c_brkintc_brkint1209,47250
- mutable c_ignparc_ignpar1210,47324
- mutable c_parmrkc_parmrk1211,47399
- mutable c_inpckc_inpck1212,47456
- mutable c_istripc_istrip1213,47523
- mutable c_inlcrc_inlcr1214,47595
- mutable c_igncrc_igncr1215,47655
- mutable c_icrnlc_icrnl1216,47712
- mutable c_ixonc_ixon1217,47772
- mutable c_ixoffc_ixoff1218,47849
- mutable c_opostc_opost1220,47953
- mutable c_obaudc_obaud1222,48041
- mutable c_ibaudc_ibaud1223,48122
- mutable c_csizec_csize1224,48176
- mutable c_cstopbc_cstopb1225,48249
- mutable c_creadc_cread1226,48313
- mutable c_parenbc_parenb1227,48372
- mutable c_paroddc_parodd1228,48449
- mutable c_hupclc_hupcl1229,48522
- mutable c_clocalc_clocal1230,48582
- mutable c_isigc_isig1232,48669
- mutable c_icanonc_icanon1233,48743
- mutable c_noflshc_noflsh1235,48870
- mutable c_echoc_echo1236,48945
- mutable c_echoec_echoe1237,49005
- mutable c_echokc_echok1238,49084
- mutable c_echonlc_echonl1239,49160
- mutable c_vintrc_vintr1241,49262
- mutable c_vquitc_vquit1242,49337
- mutable c_verasec_verase1243,49407
- mutable c_vkillc_vkill1244,49485
- mutable c_veofc_veof1245,49560
- mutable c_veolc_veol1246,49637
- mutable c_vminc_vmin1247,49718
- mutable c_vtimec_vtime1249,49863
- mutable c_vstartc_vstart1250,49935
- mutable c_vstopc_vstop1251,50006
-val tcgetattrtcgetattr1254,50081
-type setattr_whensetattr_when1258,50210
- TCSANOWTCSANOW1259,50230
- | TCSADRAINTCSADRAIN1260,50240
- | TCSAFLUSHTCSAFLUSH1261,50254
-val tcsetattrtcsetattr1263,50269
-val tcsendbreaktcsendbreak1273,50780
-val tcdraintcdrain1278,50991
-type flush_queueflush_queue1282,51117
- TCIFLUSHTCIFLUSH1283,51136
- | TCOFLUSHTCOFLUSH1284,51149
- | TCIOFLUSHTCIOFLUSH1285,51162
-val tcflushtcflush1287,51177
-type flow_actionflow_action1294,51519
- TCOOFFTCOOFF1295,51538
- | TCOONTCOON1296,51549
- | TCIOFFTCIOFF1297,51559
- | TCIONTCION1298,51570
-val tcflowtcflow1300,51581
-val setsidsetsid1307,51928
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/unixLabels.mli,16172
-UnixLabels1,0
-type errorerror24,1132
- E2BIGE2BIG25,1158
- | EACCESEACCES26,1212
- | EAGAINEAGAIN27,1261
- | EBADFEBADF28,1336
- | EBUSYEBUSY29,1387
- | ECHILDECHILD30,1439
- | EDEADLKEDEADLK31,1487
- | EDOMEDOM32,1548
- | EEXISTEEXIST33,1617
- | EFAULTEFAULT34,1660
- | EFBIGEFBIG35,1703
- | EINTREINTR36,1749
- | EINVALEINVAL37,1811
- | EIOEIO38,1859
- | EISDIREISDIR39,1909
- | EMFILEEMFILE40,1955
- | EMLINKEMLINK41,2021
- | ENAMETOOLONGENAMETOOLONG42,2067
- | ENFILEENFILE43,2116
- | ENODEVENODEV44,2181
- | ENOENTENOENT45,2227
- | ENOEXECENOEXEC46,2284
- | ENOLCKENOLCK47,2338
- | ENOMEMENOMEM48,2388
- | ENOSPCENOSPC49,2437
- | ENOSYSENOSYS50,2492
- | ENOTDIRENOTDIR51,2546
- | ENOTEMPTYENOTEMPTY52,2593
- | ENOTTYENOTTY53,2644
- | ENXIOENXIO54,2711
- | EPERMEPERM55,2768
- | EPIPEEPIPE56,2823
- | ERANGEERANGE57,2866
- | EROFSEROFS58,2914
- | ESPIPEESPIPE59,2967
- | ESRCHESRCH60,3026
- | EXDEVEXDEV61,3073
- | EWOULDBLOCKEWOULDBLOCK62,3117
- | EINPROGRESSEINPROGRESS63,3170
- | EALREADYEALREADY64,3227
- | ENOTSOCKENOTSOCK65,3288
- | EDESTADDRREQEDESTADDRREQ66,3350
- | EMSGSIZEEMSGSIZE67,3410
- | EPROTOTYPEEPROTOTYPE68,3458
- | ENOPROTOOPTENOPROTOOPT69,3520
- | EPROTONOSUPPORTEPROTONOSUPPORT70,3574
- | ESOCKTNOSUPPORTESOCKTNOSUPPORT71,3628
- | EOPNOTSUPPEOPNOTSUPP72,3685
- | EPFNOSUPPORTEPFNOSUPPORT73,3750
- | EAFNOSUPPORTEAFNOSUPPORT74,3811
- | EADDRINUSEEADDRINUSE75,3890
- | EADDRNOTAVAILEADDRNOTAVAIL76,3944
- | ENETDOWNENETDOWN77,4006
- | ENETUNREACHENETUNREACH78,4053
- | ENETRESETENETRESET79,4107
- | ECONNABORTEDECONNABORTED80,4174
- | ECONNRESETECONNRESET81,4238
- | ENOBUFSENOBUFS82,4294
- | EISCONNEISCONN83,4351
- | ENOTCONNENOTCONN84,4410
- | ESHUTDOWNESHUTDOWN85,4465
- | ETOOMANYREFSETOOMANYREFS86,4529
- | ETIMEDOUTETIMEDOUT87,4594
- | ECONNREFUSEDECONNREFUSED88,4646
- | EHOSTDOWNEHOSTDOWN89,4696
- | EHOSTUNREACHEHOSTUNREACH90,4740
- | ELOOPELOOP91,4788
- | EOVERFLOWEOVERFLOW92,4853
- | EUNKNOWNERREUNKNOWNERR94,4925
-exception Unix_errorUnix_error102,5137
-val error_messageerror_message108,5454
-val handle_unix_errorhandle_unix_error111,5547
-val environmentenvironment120,5828
-val getenvgetenv124,5970
-val putenvputenv129,6176
-type process_statusprocess_status139,6441
- WEXITEDWEXITED140,6485
- | WSIGNALEDWSIGNALED143,6606
- | WSTOPPEDWSTOPPED146,6724
-type wait_flagwait_flag152,6888
- WNOHANGWNOHANG153,6922
- | WUNTRACEDWUNTRACED155,7040
-val execvexecv158,7148
-val execveexecve165,7496
-val execvpexecvp169,7689
-val execvpeexecvpe173,7843
-val forkfork177,8019
-val waitwait181,8175
-val waitpidwaitpid185,8315
-val systemsystem194,8781
-val getpidgetpid201,9112
-val getppidgetppid204,9176
-val nicenice207,9248
-type file_descrfile_descr216,9492
-val stdinstdin219,9573
-val stdoutstdout222,9639
-val stderrstderr225,9707
-type open_flagopen_flag228,9775
- O_RDONLYO_RDONLY229,9809
- | O_WRONLYO_WRONLY230,9865
- | O_RDWRO_RDWR231,9921
- | O_NONBLOCKO_NONBLOCK232,9989
- | O_APPENDO_APPEND233,10054
- | O_CREATO_CREAT234,10109
- | O_TRUNCO_TRUNC235,10170
- | O_EXCLO_EXCL236,10242
- | O_NOCTTYO_NOCTTY237,10298
- | O_DSYNCO_DSYNC238,10375
- | O_SYNCO_SYNC239,10478
- | O_RSYNCO_RSYNC240,10581
-type file_permfile_perm244,10721
-val openfileopenfile248,10859
-val closeclose253,11108
-val readread256,11172
-val writewrite261,11442
-val single_writesingle_write268,11822
-val in_channel_of_descrin_channel_of_descr277,12107
-val out_channel_of_descrout_channel_of_descr282,12331
-val descr_of_in_channeldescr_of_in_channel287,12557
-val descr_of_out_channeldescr_of_out_channel290,12673
-type seek_commandseek_command297,12829
- SEEK_SETSEEK_SET298,12869
- | SEEK_CURSEEK_CUR299,12947
- | SEEK_ENDSEEK_END300,13020
-val lseeklseek304,13144
-val truncatetruncate307,13257
-val ftruncateftruncate310,13350
-type file_kindfile_kind318,13509
- S_REGS_REG319,13543
- | S_DIRS_DIR320,13595
- | S_CHRS_CHR321,13644
- | S_BLKS_BLK322,13700
- | S_LNKS_LNK323,13752
- | S_FIFOS_FIFO324,13805
- | S_SOCKS_SOCK325,13855
-type statsstats327,13902
- { st_devst_dev328,13928
- st_inost_ino329,13981
- st_kindst_kind330,14033
- st_permst_perm331,14089
- st_nlinkst_nlink332,14142
- st_uidst_uid333,14197
- st_gidst_gid334,14257
- st_rdevst_rdev335,14325
- st_sizest_size336,14384
- st_atimest_atime337,14437
- st_mtimest_mtime338,14493
- st_ctimest_ctime339,14555
-val statstat343,14689
-val lstatlstat346,14767
-val fstatfstat350,14919
-val isattyisatty354,15036
-module LargeFileLargeFile360,15224
- val lseeklseek362,15249
- val truncatetruncate363,15315
- val ftruncateftruncate364,15362
- type statsstats365,15414
- { st_devst_dev366,15454
- st_inost_ino367,15511
- st_kindst_kind368,15567
- st_permst_perm369,15627
- st_nlinkst_nlink370,15684
- st_uidst_uid371,15743
- st_gidst_gid372,15807
- st_rdevst_rdev373,15879
- st_sizest_size374,15942
- st_atimest_atime375,15999
- st_mtimest_mtime376,16059
- st_ctimest_ctime377,16125
- val statstat379,16200
- val lstatlstat380,16231
- val fstatfstat381,16263
-val unlinkunlink398,16916
-val renamerename401,16975
-val linklink404,17094
-type access_permissionaccess_permission412,17274
- R_OKR_OK413,17324
- | W_OKW_OK414,17379
- | X_OKX_OK415,17435
- | F_OKF_OK416,17495
-val chmodchmod420,17596
-val fchmodfchmod423,17691
-val chownchown426,17791
-val fchownfchown429,17902
-val umaskumask432,18018
-val accessaccess436,18126
-val dupdup444,18341
-val dup2dup2448,18467
-val set_nonblockset_nonblock452,18605
-val clear_nonblockclear_nonblock460,19005
-val set_close_on_execset_close_on_exec464,19144
-val clear_close_on_execclear_close_on_exec470,19407
-val mkdirmkdir479,19584
-val rmdirrmdir482,19684
-val chdirchdir485,19746
-val getcwdgetcwd488,19819
-val chrootchroot491,19905
-type dir_handledir_handle494,19976
-val opendiropendir497,20067
-val readdirreaddir500,20143
-val rewinddirrewinddir504,20294
-val closedirclosedir507,20397
-val pipepipe515,20507
-val mkfifomkfifo520,20742
-val create_processcreate_process527,20904
-val create_process_envcreate_process_env543,21726
-val open_process_inopen_process_in551,22086
-val open_process_outopen_process_out558,22432
-val open_processopen_process566,22836
-val open_process_fullopen_process_full572,23183
-val close_process_inclose_process_in579,23540
-val close_process_outclose_process_out584,23744
-val close_processclose_process589,23951
-val close_process_fullclose_process_full594,24163
-val symlinksymlink604,24429
-val readlinkreadlink608,24574
-val selectselect615,24665
-type lock_commandlock_command632,25463
- F_ULOCKF_ULOCK633,25503
- | F_LOCKF_LOCK634,25544
- | F_TLOCKF_TLOCK635,25624
- | F_TESTF_TEST636,25702
- | F_RLOCKF_RLOCK637,25765
- | F_TRLOCKF_TRLOCK638,25845
-val lockflockf641,25965
-val killkill674,27458
-type sigprocmask_commandsigprocmask_command678,27581
- SIG_SETMASKSIG_SETMASK679,27636
- | SIG_BLOCKSIG_BLOCK680,27652
- | SIG_UNBLOCKSIG_UNBLOCK681,27666
-val sigprocmasksigprocmask683,27683
-val sigpendingsigpending693,28161
-val sigsuspendsigsuspend696,28265
-val pausepause701,28507
-type process_timesprocess_times708,28628
- { tms_utimetms_utime709,28670
- tms_stimetms_stime710,28727
- tms_cutimetms_cutime711,28786
- tms_cstimetms_cstime712,28854
-type tmtm716,28982
- { tm_sectm_sec717,29002
- tm_mintm_min718,29055
- tm_hourtm_hour719,29108
- tm_mdaytm_mday720,29159
- tm_montm_mon721,29217
- tm_yeartm_year722,29276
- tm_wdaytm_wday723,29327
- tm_ydaytm_yday724,29392
- tm_isdsttm_isdst725,29450
-val timetime730,29590
-val gettimeofdaygettimeofday734,29696
-val gmtimegmtime737,29807
-val localtimelocaltime741,29990
-val mktimemktime745,30144
-val alarmalarm755,30678
-val sleepsleep758,30772
-val timestimes761,30852
-val utimesutimes764,30937
-type interval_timerinterval_timer769,31163
- ITIMER_REALITIMER_REAL770,31207
- | ITIMER_VIRTUALITIMER_VIRTUAL772,31305
- | ITIMER_PROFITIMER_PROF774,31410
-type interval_timer_statusinterval_timer_status780,31651
- { it_intervalit_interval781,31709
- it_valueit_value782,31756
-val getitimergetitimer786,31887
-val setitimersetitimer789,32006
-val getuidgetuid804,32582
-val geteuidgeteuid807,32669
-val setuidsetuid810,32762
-val getgidgetgid813,32855
-val getegidgetegid816,32943
-val setgidsetgid819,33037
-val getgroupsgetgroups822,33132
-type passwd_entrypasswd_entry826,33252
- { pw_namepw_name827,33292
- pw_passwdpw_passwd828,33314
- pw_uidpw_uid829,33338
- pw_gidpw_gid830,33356
- pw_gecospw_gecos831,33374
- pw_dirpw_dir832,33397
- pw_shellpw_shell833,33418
-type group_entrygroup_entry837,33499
- { gr_namegr_name838,33537
- gr_passwdgr_passwd839,33559
- gr_gidgr_gid840,33583
- gr_memgr_mem841,33601
-val getlogingetlogin845,33686
-val getpwnamgetpwnam848,33781
-val getgrnamgetgrnam852,33899
-val getpwuidgetpwuid856,34015
-val getgrgidgetgrgid860,34133
-type inet_addrinet_addr868,34283
-val inet_addr_of_stringinet_addr_of_string871,34364
-val string_of_inet_addrstring_of_inet_addr879,34774
-val inet_addr_anyinet_addr_any884,34986
-val inet_addr_loopbackinet_addr_loopback888,35150
-val inet6_addr_anyinet6_addr_any891,35261
-val inet6_addr_loopbackinet6_addr_loopback895,35426
-type socket_domainsocket_domain902,35554
- PF_UNIXPF_UNIX903,35596
- | PF_INETPF_INET904,35647
- | PF_INET6PF_INET6905,35709
-type socket_typesocket_type908,35807
- SOCK_STREAMSOCK_STREAM909,35845
- | SOCK_DGRAMSOCK_DGRAM910,35898
- | SOCK_RAWSOCK_RAW911,35953
- | SOCK_SEQPACKETSOCK_SEQPACKET912,36003
-type sockaddrsockaddr916,36148
- ADDR_UNIXADDR_UNIX917,36181
- | ADDR_INETADDR_INET918,36205
-val socketsocket925,36532
-val domain_of_sockaddrdomain_of_sockaddr931,36796
-val socketpairsocketpair934,36918
-val acceptaccept939,37087
-val bindbind944,37313
-val connectconnect947,37397
-val listenlisten950,37487
-type shutdown_commandshutdown_command954,37656
- SHUTDOWN_RECEIVESHUTDOWN_RECEIVE955,37704
- | SHUTDOWN_SENDSHUTDOWN_SEND956,37763
- | SHUTDOWN_ALLSHUTDOWN_ALL957,37820
-val shutdownshutdown961,37916
-val getsocknamegetsockname968,38266
-val getpeernamegetpeername971,38355
-type msg_flagmsg_flag974,38466
- MSG_OOBMSG_OOB975,38499
- | MSG_DONTROUTEMSG_DONTROUTE976,38511
- | MSG_PEEKMSG_PEEK977,38529
-val recvrecv981,38658
-val recvfromrecvfrom985,38793
-val sendsend990,38950
-val sendtosendto994,39082
-type socket_bool_optionsocket_bool_option1004,39270
- SO_DEBUGSO_DEBUG1005,39296
- | SO_BROADCASTSO_BROADCAST1006,39351
- | SO_REUSEADDRSO_REUSEADDR1007,39414
- | SO_KEEPALIVESO_KEEPALIVE1008,39480
- | SO_DONTROUTESO_DONTROUTE1009,39529
- | SO_OOBINLINESO_OOBINLINE1010,39594
- | SO_ACCEPTCONNSO_ACCEPTCONN1011,39651
-type socket_int_optionsocket_int_option1016,39903
- SO_SNDBUFSO_SNDBUF1017,39928
- | SO_RCVBUFSO_RCVBUF1018,39974
- | SO_ERRORSO_ERROR1019,40024
- | SO_TYPESO_TYPE1020,40087
- | SO_RCVLOWATSO_RCVLOWAT1021,40136
- | SO_SNDLOWATSO_SNDLOWAT1022,40218
-type socket_optint_optionsocket_optint_option1027,40476
- SO_LINGERSO_LINGER1028,40504
-type socket_float_optionsocket_float_option1035,40877
- SO_RCVTIMEOSO_RCVTIMEO1036,40904
- | SO_SNDTIMEOSO_SNDTIMEO1037,40959
-val getsockoptgetsockopt1043,41270
-val setsockoptsetsockopt1047,41413
-external getsockopt_intgetsockopt_int1050,41545
-external setsockopt_intsetsockopt_int1054,41714
-external getsockopt_optintgetsockopt_optint1058,41891
-external setsockopt_optintsetsockopt_optint1062,42091
-external getsockopt_floatgetsockopt_float1067,42303
-external setsockopt_floatsetsockopt_float1071,42503
-val open_connectionopen_connection1079,42765
-val shutdown_connectionshutdown_connection1085,43056
-val establish_serverestablish_server1090,43292
-type host_entryhost_entry1102,43714
- { h_nameh_name1103,43750
- h_aliasesh_aliases1104,43771
- h_addrtypeh_addrtype1105,43801
- h_addr_listh_addr_list1106,43833
-type protocol_entryprotocol_entry1110,43925
- { p_namep_name1111,43969
- p_aliasesp_aliases1112,43990
- p_protop_proto1113,44020
-type service_entryservice_entry1117,44100
- { s_names_name1118,44142
- s_aliasess_aliases1119,44163
- s_ports_port1120,44193
- s_protos_proto1121,44211
-val gethostnamegethostname1125,44293
-val gethostbynamegethostbyname1128,44369
-val gethostbyaddrgethostbyaddr1132,44489
-val getprotobynamegetprotobyname1136,44615
-val getprotobynumbergetprotobynumber1140,44744
-val getservbynamegetservbyname1144,44883
-val getservbyportgetservbyport1148,45028
-type addr_infoaddr_info1152,45180
- { ai_familyai_family1153,45197
- ai_socktypeai_socktype1154,45258
- ai_protocolai_protocol1155,45317
- ai_addrai_addr1156,45387
- ai_canonnameai_canonname1157,45442
-type getaddrinfo_optiongetaddrinfo_option1161,45575
- AI_FAMILYAI_FAMILY1162,45601
- | AI_SOCKTYPEAI_SOCKTYPE1163,45679
- | AI_PROTOCOLAI_PROTOCOL1164,45755
- | AI_NUMERICHOSTAI_NUMERICHOST1165,45829
- | AI_CANONNAMEAI_CANONNAME1167,45973
- | AI_PASSIVEAI_PASSIVE1169,46108
-val getaddrinfogetaddrinfo1173,46296
-type name_infoname_info1192,47373
- { ni_hostnameni_hostname1193,47390
- ni_serviceni_service1194,47464
-type getnameinfo_optiongetnameinfo_option1197,47612
- NI_NOFQDNNI_NOFQDN1198,47638
- | NI_NUMERICHOSTNI_NUMERICHOST1199,47702
- | NI_NAMEREQDNI_NAMEREQD1200,47767
- | NI_NUMERICSERVNI_NUMERICSERV1201,47838
- | NI_DGRAMNI_DGRAM1202,47907
-val getnameinfogetnameinfo1206,48069
-type terminal_ioterminal_io1221,48652
- mutable c_ignbrkc_ignbrk1224,48716
- mutable c_brkintc_brkint1225,48781
- mutable c_ignparc_ignpar1226,48855
- mutable c_parmrkc_parmrk1227,48930
- mutable c_inpckc_inpck1228,48987
- mutable c_istripc_istrip1229,49054
- mutable c_inlcrc_inlcr1230,49126
- mutable c_igncrc_igncr1231,49186
- mutable c_icrnlc_icrnl1232,49243
- mutable c_ixonc_ixon1233,49303
- mutable c_ixoffc_ixoff1234,49380
- mutable c_opostc_opost1236,49484
- mutable c_obaudc_obaud1238,49572
- mutable c_ibaudc_ibaud1239,49653
- mutable c_csizec_csize1240,49707
- mutable c_cstopbc_cstopb1241,49780
- mutable c_creadc_cread1242,49844
- mutable c_parenbc_parenb1243,49903
- mutable c_paroddc_parodd1244,49980
- mutable c_hupclc_hupcl1245,50053
- mutable c_clocalc_clocal1246,50113
- mutable c_isigc_isig1248,50200
- mutable c_icanonc_icanon1249,50274
- mutable c_noflshc_noflsh1251,50401
- mutable c_echoc_echo1252,50476
- mutable c_echoec_echoe1253,50536
- mutable c_echokc_echok1254,50615
- mutable c_echonlc_echonl1255,50691
- mutable c_vintrc_vintr1257,50793
- mutable c_vquitc_vquit1258,50868
- mutable c_verasec_verase1259,50938
- mutable c_vkillc_vkill1260,51016
- mutable c_veofc_veof1261,51091
- mutable c_veolc_veol1262,51168
- mutable c_vminc_vmin1263,51249
- mutable c_vtimec_vtime1265,51394
- mutable c_vstartc_vstart1266,51466
- mutable c_vstopc_vstop1267,51537
-val tcgetattrtcgetattr1270,51612
-type setattr_whensetattr_when1274,51741
- TCSANOWTCSANOW1275,51782
- | TCSADRAINTCSADRAIN1276,51794
- | TCSAFLUSHTCSAFLUSH1277,51808
-val tcsetattrtcsetattr1279,51823
-val tcsendbreaktcsendbreak1289,52339
-val tcdraintcdrain1294,52559
-type flush_queueflush_queue1298,52685
- TCIFLUSHTCIFLUSH1299,52724
- | TCOFLUSHTCOFLUSH1300,52737
- | TCIOFLUSHTCIOFLUSH1301,52750
-val tcflushtcflush1303,52765
-type flow_actionflow_action1310,53112
- TCOOFFTCOOFF1311,53151
- | TCOONTCOON1312,53162
- | TCIOFFTCIOFF1313,53172
- | TCIONTCION1314,53183
-val tcflowtcflow1316,53194
-val setsidsetsid1323,53546
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/weak.mli,624
-Weak1,0
-tt21,1050
-val createcreate33,1436
-val lengthlength38,1658
-val setset42,1759
-val getget49,2058
-val get_copyget_copy55,2315
-val checkcheck67,2852
-val fillfill72,3093
-val blitblit77,3347
-module type SS101,4425
- type datadata102,4445
- tt104,4514
- val createcreate109,4738
- val clearclear112,4882
- val mergemerge114,4953
- val addadd117,5104
- val removeremove121,5324
- val findfind124,5480
- val find_allfind_all127,5629
- val memmem130,5760
- val iteriter133,5900
- val foldfold137,6109
- val countcount142,6382
- val statsstats146,6597
-module MakeMake153,6926
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/xml.mli,1352
-Xml1,0
-type xmlxml36,1372
- | ElementElement37,1385
- | PCDataPCData38,1445
-val parse_fileparse_file49,1857
-val parse_inparse_in53,1977
-val parse_stringparse_string57,2095
-type error_poserror_pos76,2905
-type error_msgerror_msg78,2923
- | UnterminatedCommentUnterminatedComment79,2941
- | UnterminatedStringUnterminatedString80,2965
- | UnterminatedEntityUnterminatedEntity81,2988
- | IdentExpectedIdentExpected82,3011
- | CloseExpectedCloseExpected83,3029
- | NodeExpectedNodeExpected84,3047
- | AttributeNameExpectedAttributeNameExpected85,3064
- | AttributeValueExpectedAttributeValueExpected86,3090
- | EndOfTagExpectedEndOfTagExpected87,3117
- | EOFExpectedEOFExpected88,3148
-type errorerror90,3166
-exception ErrorError92,3204
-exception File_not_foundFile_not_found94,3232
-val errorerror97,3322
-val error_msgerror_msg100,3400
-val lineline103,3483
-val rangerange106,3594
-val abs_rangeabs_range109,3695
-exception Not_elementNot_element113,3765
-exception Not_pcdataNot_pcdata114,3795
-exception No_attributeNo_attribute115,3824
-val tagtag119,3975
-val pcdatapcdata123,4120
-val attribsattribs128,4346
-val attribattrib135,4677
-val childrenchildren139,4840
-val iteriter147,5159
-val mapmap151,5331
-val foldfold156,5522
-val to_stringto_string162,5705
-val to_string_fmtto_string_fmt166,5857
-
-/usr/local/soft/ocaml/3.10.0//lib/ocaml/xmlParser.mli,358
-XmlParser1,0
-tt28,1109
-type sourcesource31,1180
- | SFileSFile32,1196
- | SChannelSChannel33,1216
- | SStringSString34,1243
- | SLexbufSLexbuf35,1265
-val makemake38,1361
-val proveprove44,1640
-val resolveresolve57,2436
-val check_eofcheck_eof63,2784
-val parseparse67,2974
-val concat_pcdataconcat_pcdata73,3300
-val _raises_raises78,3382
diff --git a/src/compile.ml b/src/compile.ml
index 70162d01..157b1cee 100644
--- a/src/compile.ml
+++ b/src/compile.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 05/02/2008 (at 11:20) by Erwan Jahier> *)
+(** Time-stamp: <modified the 11/02/2008 (at 09:36) by Erwan Jahier> *)
open Lxm
@@ -48,5 +48,3 @@ let (doit : SyntaxTree.pack_or_model list -> Ident.idref -> unit) =
LazyCompiler.test lzcomp ;
()
-
-
diff --git a/src/evalType.ml b/src/evalType.ml
index 5dc3c29a..d3485f38 100644
--- a/src/evalType.ml
+++ b/src/evalType.ml
@@ -1,4 +1,4 @@
-(** Time-stamp: <modified the 05/02/2008 (at 11:21) by Erwan Jahier> *)
+(** Time-stamp: <modified the 07/02/2008 (at 17:12) by Erwan Jahier> *)
open Lxm
open Errors
@@ -22,10 +22,8 @@ Effets de bord :
Compile_error
----------------------------------------------------------------------*)
-let rec f
- (env : id_solver)
- (texp : type_exp)
- = (
+let rec (f:CompiledData.id_solver -> SyntaxTreeCore.type_exp -> CompiledData.type_eff)=
+ fun env texp -> (
try (
match texp.it with
Bool_type_exp -> Bool_type_eff
--
GitLab