Caml1999I031 '&D(Odoc_ast)typedtree8@@@A)Typedtree)structure@@@ /module_coercion@@@@@@@@@,odoc_ast.mliRR@@@@@A@Ӡ0Typedtree_search@#ele8@@@A@@@@@Wu{Wu@@@@-DA@#tab8@@@A&Stdlib'Hashtbl!t@@@83structure_item_desc@@@@@@@@@@0Y1Y@@@@MEA@*tab_values8@@@A 'Hashtbl!t)Odoc_name!t@@@\'pattern@@@c*expression@@@@@@@@@@@@[Z\Z@@@@xFA@&tables@$listI{.structure_item@@@@@@c@@@H@@@@@@@@]ou]o@@G@-search_module@@@@@&stringO@@@+module_expr@@@@@@@@blrbl@@H@2search_module_type@0@@@@@@@7module_type_declaration@@@@@@@@gougo@@I@0search_extension@J@@@@6@@@.type_extension@@@@@@@@l  l  @@J@7search_type_declaration@d@@@@P@@@0type_declaration@@@@@@@@q  q  @@K@0search_class_exp@~@@@@j@@@*class_expr@@@ؠ%Types)type_expr@@@@@@@@@@@@@v  v  @@1M@=search_class_type_declaration@@@@@@@@76class_type_declaration@@@@@@@@.{  /{  "@@KN@,search_value@@@@@@@@T'pattern@@@[*expression@@@@@@@@@@R@  S@ .@@oO@0search_primitive@@@@@@@@[)type_expr@@@@@@@@lEmE@@P@:get_nth_inherit_class_expr@/class_structure@@@@#intA@@@*class_expr@@@@@@@@JKT@@Q@5search_attribute_type@/class_structure@@@@@@@)type_expr@@@@@@@@P$Q@@@R@8search_method_expression@/class_structure@@@@,@@@*expression@@@@@@@@U<BVa@@S@@@USSW@T@@Ӡ(Analyser@@(Odoc_sig.Info_retriever2analyse_typed_tree@S@@@@Y@@@@)Parsetree)structure@@@@@@@+Odoc_module(t_module@@@@@@@@@@@@cd)@@!U@@@\mm e*1@%V@@@ ۠(Odoc_ast0^MY| (Warnings0zdͦkUe$%Types0lm?ƈ)Typedtree0r&/ĤVD dˠ.Type_immediacy0dV^25b)̓ԆSj%Subst0BYw>*Su}Ck-Stdlib__Uchar0*Ujmyc6]]W.Stdlib__String0I3UK# +Stdlib__Set0.z9FX+Stdlib__Seq05"g1<)b+Stdlib__Map0kZ,ҷ'V,Stdlib__List0"%BTAT;9d.Stdlib__Lexing01'jh,-k4,Stdlib__Lazy0C 4 "$p1tU/Stdlib__Hashtbl04$*uկdD.Stdlib__Format0{hXsHW#ȼ.Stdlib__Either0&]XF.Stdlib__Digest0aI]2t*x4%".Stdlib__Buffer0K ɦb+Z8)#KH"&Stdlib0yӶ~*%Shape0H[DTċwToe@Q)Primitive0յ_9|br$Path0L%SsN|#Ɣj)Parsetree0`ⰧkRE+Outcometree0gCtrS}.Odoc_parameter0|@4}%,C)Odoc_name0<{U H8+Odoc_module0ZJ˷ct,$ iࠠ)Odoc_misc0e8 NC}.Odoc_extension08uM=[2bD.Odoc_exception0(/+J砠(Odoc_env0"C6I]V0]u*Odoc_class0ƅV켍|.$Misc0,Z3XI`3y/)Longident0,xeuK⠠(Location0SP=u;)Load_path0aoD[3!4,Identifiable0m7 ^UKxե%Ident0;Hf:#}#Env0*Z^Ө^n*Cmi_format0w,Z`Ǹ֠0CamlinternalLazy0Seĥ!}䠠8CamlinternalFormatBasics0cEXyR?R@@8@@@A)Typedtree)structure@@@ נ /module_coercion@@@ @@ @@@@URVR@@@@m@@@AВг)TypedtreecRdR@@ 0baabbbbb@a-8@@@A4@@B@ B@@@@@@@@@A  @@г#)Typedtree%xR#@@+$@@@8%@@'@@x'&@0Typedtree_searchKBUSZUSj@@БA(#elenCWuWu@@8@@@A@@@@@Wu{@@@@D@@A@@@0@b\@A@A(#taboDYY@@8@@@A|'Hashtbl!t$@@@-q3structure_item_desc@@@.@@@1@@@@YY@@@@E@@AгY @г#eleYY@@!0@:E?38@@@A:@@E@2E@ @@@@ @@@@A @@г))Typedtree+YY@@2@@@?Y,@@.@@0@@A/.@A(*tab_valuesEZZ@@8@@@A'Hashtbl!t)Odoc_name!t@@@'pattern@@@*expression@@@@@@@@@@@@ZZ@@@@4F@@Aг&'&&Z @г')Odoc_name'/Z0Z@@00.--.....@`B8@@@AI@@F@F@@@@@!@@@@A @@Вг4)Typedtree6HZIZ@@=@@г8)Typedtree:SZTZ@@A$@@@L%@@@]&XZ<@@>@@0VUUVVVVV@'@A?>@&tablesՠc]oyd]o@б@г$listn]oo]o@г,.structure_item)Typedtree{]o|]o@@ @@@;0}||}}}}}@O@A@@@ @@@= @@Вг점#tab]o]o@@ @@@>@@г*tab_values]o]o@@ @@@?%@@@@@@* @@@*@@A-3 @@@]ou@)ocaml.doc C Create hash tables used to search by some of the functions below. \ &\ n@@@@@@@G@!@B-search_module֠blvbl@б@г/#tabblbl@@ @@@B0@[}.@A@@б@гC&stringblbl@@ @@@C@@г+module_expr)Typedtreeblbl@@ @@@D!@@@@@E$@@@*@@F'- @@@blr@T This function returns the [Typedtree.module_expr] associated to the given module name, in the given table. @raise Not_found if the module was not found._a3k@@@@@@@(H@@:2search_module_typeנgoygo@б@г#tab'go(go@@ @@@G0)(()))))@Sh,@A@@б@г&string8go9go@@ @@@H@@г7module_type_declaration)TypedtreeHgoIgo@@ @@@I!@@@@@J$@@@*@@K'- @@@Vgou@ This function returns the [Typedtree.module_type] associated to the given module type name, in the given table. @raise Not_found if the module type was not found.bdcf1n@@@@@@@zI@@:0search_extensionؠnl  ol  @б@гӠ#tabyl  zl  @@ @@@L0{zz{{{{{@Sh,@A@@б@г砐&stringl  l  @@ @@@M@@гK.type_extension)Typedtreel  l  @@ @@@N!@@@@@O$@@@*@@P'- @@@l  @ This function returns the [Typedtree.type_extension] associated to the given extension name, in the given table. @raise Not_found if the extension was not found.ik F @@@@@@@J@@:7search_type_declaration٠q  q  @б@г%#tabq  q  @@ @@@Q0@Sh,@A@@б@г9&stringq  q  @@ @@@R@@г0type_declaration)Typedtreeq  q  @@ @@@S!@@@@@T$@@@*@@U'- @@@q  @J This function returns the [Typedtree.type_declaration] associated to the given type name, in the given table. @raise Not_found if the type was not found. n  p K @@@@@@@K@@:0search_class_expDv  v  @б@гw#tabv  v  @@ @@@V0@Sh,@A@@б@г&string.v  /v  @@ @@@W@@Вг*class_expr)TypedtreeAv  Bv  @@ @@@X$@@г䠐$listOv  Pv  @г%Types)type_expr%Types^v  _v  @@@@@A@@@@@@F @@@) @@K-nv  @@@A@@ODrv  @@@V@@SY@@@xv  @Ȑ This function returns the [Typedtree.class_expr] and type parameters associated to the given class name, in the given table. @raise Not_found if the class was not found. s  u d @@@@@@@M@@f=search_class_type_declarationE{  {  @б@г#tab{  {  @@ @@@0@,@A@@б@г &string{  {  @@ @@@@@гm6class_type_declaration)Typedtree{  {  "@@ @@@!@@@@@$@@@*@@'- @@@{  @ This function returns the [Typedtree.class_type_declaration] associated to the given class type name, in the given table. @raise Not_found if the class type was not found. x  z  @@@@@@@N@@:,search_valueF@  @  @б@г*tab_values@  @  @@ @@@0@Sh,@A@@б@г[&string@  @ @@ @@@@@Вг'pattern)Typedtree@ @ @@ @@@$@@г*expression)Typedtree"@ #@ .@@ @@@5@@@@@: @@@/@@=2 @@@C@@@F@@@5@  @ This function returns the couple (pat, exp) for the given value name, in the given table of values. @raise Not found if no value matches the name.A} $ *B  @@@@@@@YO@"@S0search_primitiveGMENE@б@г#tabXEYE@@ @@@0ZYYZZZZZ@l,@A@@б@гƠ&stringiEjE@@ @@@@@г)type_expr%TypesyEzE@@ @@@!@@@@@$@@@*@@'- @@@E@א This function returns the [type_expr] for the given primitive name, in the given table. @raise Not found if no value matches the name.B06D@@@@@@@P@@::get_nth_inherit_class_exprHJJ@б@г^/class_structure)TypedtreeKK5@@ @@@0@Vk/@A@@б@гh#intK9K<@@ @@@@@г*class_expr)TypedtreeK@KT@@ @@@!@@@@@$@@@*@@'- @@@J@, This function returns the [Typedtree.class_expr] associated to the n'th inherit in the given class structure of typed tree. @raise Not_found if the class expression could not be found.GI@@@@@@@Q@@:5search_attribute_typeIP(P=@б@г/class_structure)TypedtreeQ@JQ@c@@ @@@0@Vn/@A@@б@гp&stringQ@gQ@m@@ @@@@@г)type_expr%Types#Q@q$Q@@@ @@@!@@@@@$@@@*@@'- @@@1P$@ This function returns the [Types.type_expr] of the attribute whose name is given, in a given class structure. @raise Not_found if the class attribute could not be found.=MV\>O@@@@@@@UR@@:8search_method_expressionJIU<FJU<^@б@г/class_structure)TypedtreeWVakXVa@@ @@@0YXXYYYYY@Vn/@A@@б@гŠ&stringhVaiVa@@ @@@@@г)*expression)TypedtreexVayVa@@ @@@!@@@@@$@@@*@@'- @@@U<B@֐ This function returns the [Types.expression] of the method whose name is given, in a given class structure. @raise Not_found if the class method could not be found.ST;@@@@@@@S@@:@A@A@A@?@@N@:@@2@@y@e)@@@o0@@0@Yq2@A!0@@AVmqW@@ W This module is used to search for structure items by name in a [Typedtree.structure]. TTR@@@@@@@USS@@(AnalyserF\mt\m|@@Т@@Р(Odoc_sig.Info_retriever(Odoc_sig]]@ 0@Qk@`ZA@PJA@A@H@2@@V@B@@v:@&@@m.@@@@QD"T@A'&@@Б2analyse_typed_treeӠcc@б@г&string$d%d@@ @@@0&%%&&&&&@?@A@@б@г&string4d5d@@ @@@@@б@г)Parsetree)structure)ParsetreeHdId@@@@@$@@б@г)typedtreeWdXd@@ @@@3@@г+Odoc_module(t_module+Odoc_moduleidjd)@@@@@E@@@@@H@@@*@@K- @@@A@@ND@@@T@@QW@@@}c@͐  This function takes a file name, a file containing the code and the typed tree obtained from the compiler. It goes through the tree, creating values for encountered functions, modules, ..., and looking in the source file for comments._be@@@@@@@U@#@d@z@@0@|@A0@@A^e*1@@@@@萠 The module which performs the analysis of a typed tree. The module uses the module {!Odoc_sig.Analyser}. @param My_ir The module used to retrieve comments and special comments.Y[ l@@@@@@@\mm@@@qkA@,@@@@ V@@@0@@@ۑ@@@" @A@ H************************************************************************A@@A@L@ H BMMBM@ H OCaml CC@ H DD3@ H Maxence Guesdon, projet Cristal, INRIA Rocquencourt E44E4@ H FF@ H Copyright 2001 Institut National de Recherche en Informatique et GG@ H en Automatique. HHg@ H IhhIh@ H All rights reserved. This file is distributed under the terms of JJ@ H the GNU Lesser General Public License version 2.1, with the KKN@ H special exception on linking described in the file LICENSE. LOOLO@ H MM@ H************************************************************************ NN5@ w* The module for analysing the typed abstract syntax tree and source code and creating modules, classes, ..., elements. X* This module is used to search for structure items by name in a [Typedtree.structure]. P D* Create hash tables used to search by some of the functions below. [ * This function returns the [Typedtree.module_expr] associated to the given module name, in the given table. @raise Not_found if the module was not found. * This function returns the [Typedtree.module_type] associated to the given module type name, in the given table. @raise Not_found if the module type was not found. * This function returns the [Typedtree.type_extension] associated to the given extension name, in the given table. @raise Not_found if the extension was not found.n * This function returns the [Typedtree.type_declaration] associated to the given type name, in the given table. @raise Not_found if the type was not found.  * This function returns the [Typedtree.class_expr] and type parameters associated to the given class name, in the given table. @raise Not_found if the class was not found.  * This function returns the [Typedtree.class_type_declaration] associated to the given class type name, in the given table. @raise Not_found if the class type was not found. U * This function returns the couple (pat, exp) for the given value name, in the given table of values. @raise Not found if no value matches the name. * This function returns the [type_expr] for the given primitive name, in the given table. @raise Not found if no value matches the name. * This function returns the [Typedtree.class_expr] associated to the n'th inherit in the given class structure of typed tree. @raise Not_found if the class expression could not be found.L * This function returns the [Types.type_expr] of the attribute whose name is given, in a given class structure. @raise Not_found if the class attribute could not be found. * This function returns the [Types.expression] of the method whose name is given, in a given class structure. @raise Not_found if the class method could not be found. * The module which performs the analysis of a typed tree. The module uses the module {!Odoc_sig.Analyser}. @param My_ir The module used to retrieve comments and special comments. * This function takes a file name, a file containing the code and the typed tree obtained from the compiler. It goes through the tree, creating values for encountered functions, modules, ..., and looking in the source file for comments.@)../ocamlc)-nostdlib"-I)../stdlib"-I(../utils"-I*../parsing"-I)../typing"-I)../driver"-I+../bytecomp"-I+../toplevel"-I)../stdlib"-I/../compilerlibs"-I0../otherlibs/str"-I4../otherlibs/dynlink"-I;../otherlibs/dynlink/native"-I1../otherlibs/unix(-absname"-w8+a-4-9-41-42-44-45-48-70+-warn-error"+A,-safe-string0-strict-sequence/-strict-formats*-bin-annot*-principal"-cfg £0wvvwwwww@u@@(Asttypes0'$O~75Build_path_prefix_map0xөvĠ8CamlinternalFormatBasics0cEXyS})Odoc_type0;#bۇ( H8*Odoc_types0E#(m!|AYޠ*Odoc_value0.MݕI/_+Outcometree0gCtr*Su}Ck.Type_immediacy0dV^25b)̓ԆSj0r&/ĤVD dˠ%Types0lm?ƈ(Warnings0zdͦkUe$@0^MY| AS@SV@ܰkj@@@@ΰ@@m@$'@@=<:9lk@@@@@@@P@