<?xml version="1.0"?>
<RDF:RDF xmlns:RDF="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
         xmlns:LIBRARY="http://caml.inria.fr/library-ocaml#">

  <RDF:Seq about="urn:caml:library-ocaml">
  
    <RDF:li>
    <RDF:Seq LIBRARY:label="The standard library"
             LIBRARY:ref="">
      
        <RDF:li>
        <RDF:Description LIBRARY:label="Arg"
                         LIBRARY:ref="Arg.html"/>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Array"
                 LIBRARY:ref="Array.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Sorting"
                     LIBRARY:ref="Array.html#6_Sorting">
              
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="ArrayLabels"
                 LIBRARY:ref="ArrayLabels.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Sorting"
                     LIBRARY:ref="ArrayLabels.html#6_Sorting">
              
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Buffer"
                         LIBRARY:ref="Buffer.html"/>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Callback"
                         LIBRARY:ref="Callback.html"/>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Char"
                         LIBRARY:ref="Char.html"/>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Complex"
                         LIBRARY:ref="Complex.html"/>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Digest"
                         LIBRARY:ref="Digest.html"/>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Filename"
                         LIBRARY:ref="Filename.html"/>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Format"
                 LIBRARY:ref="Format.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Boxes"
                     LIBRARY:ref="Format.html#6_Boxes">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Formatting functions"
                     LIBRARY:ref="Format.html#6_Formattingfunctions">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Break hints"
                     LIBRARY:ref="Format.html#6_Breakhints">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Margin"
                     LIBRARY:ref="Format.html#6_Margin">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Maximum indentation limit"
                     LIBRARY:ref="Format.html#6_Maximumindentationlimit">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Formatting depth: maximum number of boxes allowed before ellipsis"
                     LIBRARY:ref="Format.html#6_Formattingdepthmaximumnumberofboxesallowedbeforeellipsis">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Advanced formatting"
                     LIBRARY:ref="Format.html#6_Advancedformatting">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Tabulations"
                     LIBRARY:ref="Format.html#6_Tabulations">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Ellipsis"
                     LIBRARY:ref="Format.html#6_Ellipsis">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Semantics Tags"
                     LIBRARY:ref="Format.html#6_SemanticsTags">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Redirecting the standard formatter output"
                     LIBRARY:ref="Format.html#6_Redirectingthestandardformatteroutput">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Changing the meaning of standard formatter pretty printing"
                     LIBRARY:ref="Format.html#6_Changingthemeaningofstandardformatterprettyprinting">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Changing the meaning of printing semantics tags"
                     LIBRARY:ref="Format.html#6_Changingthemeaningofprintingsemanticstags">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Multiple formatted output"
                     LIBRARY:ref="Format.html#6_Multipleformattedoutput">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Basic functions to use with formatters"
                     LIBRARY:ref="Format.html#6_Basicfunctionstousewithformatters">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="printf like functions for pretty-printing."
                     LIBRARY:ref="Format.html#6_printflikefunctionsforprettyprinting">
              
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Gc"
                         LIBRARY:ref="Gc.html"/>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Genlex"
                         LIBRARY:ref="Genlex.html"/>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Hashtbl"
                 LIBRARY:ref="Hashtbl.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Generic interface"
                     LIBRARY:ref="Hashtbl.html#6_Genericinterface">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Functorial interface"
                     LIBRARY:ref="Hashtbl.html#6_Functorialinterface">
              
                <RDF:li>
                <RDF:Description LIBRARY:label="HashedType"
                                 LIBRARY:ref="Hashtbl.HashedType.html"/>
                </RDF:li><RDF:li>
                <RDF:Description LIBRARY:label="S"
                                 LIBRARY:ref="Hashtbl.S.html"/>
                </RDF:li><RDF:li>
                <RDF:Description LIBRARY:label="Make"
                                 LIBRARY:ref="Hashtbl.Make.html"/>
                </RDF:li>
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="The polymorphic hash primitive"
                     LIBRARY:ref="Hashtbl.html#6_Thepolymorphichashprimitive">
              
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Int32"
                         LIBRARY:ref="Int32.html"/>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Int64"
                         LIBRARY:ref="Int64.html"/>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Lazy"
                         LIBRARY:ref="Lazy.html"/>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Lexing"
                 LIBRARY:ref="Lexing.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Positions"
                     LIBRARY:ref="Lexing.html#6_Positions">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Lexer buffers"
                     LIBRARY:ref="Lexing.html#6_Lexerbuffers">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Functions for lexer semantic actions"
                     LIBRARY:ref="Lexing.html#6_Functionsforlexersemanticactions">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Miscellaneous functions"
                     LIBRARY:ref="Lexing.html#6_Miscellaneousfunctions">
              
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="List"
                 LIBRARY:ref="List.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Iterators"
                     LIBRARY:ref="List.html#6_Iterators">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Iterators on two lists"
                     LIBRARY:ref="List.html#6_Iteratorsontwolists">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="List scanning"
                     LIBRARY:ref="List.html#6_Listscanning">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="List searching"
                     LIBRARY:ref="List.html#6_Listsearching">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Association lists"
                     LIBRARY:ref="List.html#6_Associationlists">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Lists of pairs"
                     LIBRARY:ref="List.html#6_Listsofpairs">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Sorting"
                     LIBRARY:ref="List.html#6_Sorting">
              
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Map"
                 LIBRARY:ref="Map.html">
          
            <RDF:li>
            <RDF:Description LIBRARY:label="OrderedType"
                             LIBRARY:ref="Map.OrderedType.html"/>
            </RDF:li><RDF:li>
            <RDF:Description LIBRARY:label="S"
                             LIBRARY:ref="Map.S.html"/>
            </RDF:li><RDF:li>
            <RDF:Description LIBRARY:label="Make"
                             LIBRARY:ref="Map.Make.html"/>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Marshal"
                         LIBRARY:ref="Marshal.html"/>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="MoreLabels"
                 LIBRARY:ref="MoreLabels.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Hashtbl"
                     LIBRARY:ref="MoreLabels.Hashtbl.html">
              
                <RDF:li>
                <RDF:Description LIBRARY:label="HashedType"
                                 LIBRARY:ref="MoreLabels.Hashtbl.HashedType.html"/>
                </RDF:li><RDF:li>
                <RDF:Description LIBRARY:label="S"
                                 LIBRARY:ref="MoreLabels.Hashtbl.S.html"/>
                </RDF:li><RDF:li>
                <RDF:Description LIBRARY:label="Make"
                                 LIBRARY:ref="MoreLabels.Hashtbl.Make.html"/>
                </RDF:li>
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Map"
                     LIBRARY:ref="MoreLabels.Map.html">
              
                <RDF:li>
                <RDF:Description LIBRARY:label="OrderedType"
                                 LIBRARY:ref="MoreLabels.Map.OrderedType.html"/>
                </RDF:li><RDF:li>
                <RDF:Description LIBRARY:label="S"
                                 LIBRARY:ref="MoreLabels.Map.S.html"/>
                </RDF:li><RDF:li>
                <RDF:Description LIBRARY:label="Make"
                                 LIBRARY:ref="MoreLabels.Map.Make.html"/>
                </RDF:li>
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Set"
                     LIBRARY:ref="MoreLabels.Set.html">
              
                <RDF:li>
                <RDF:Description LIBRARY:label="OrderedType"
                                 LIBRARY:ref="MoreLabels.Set.OrderedType.html"/>
                </RDF:li><RDF:li>
                <RDF:Description LIBRARY:label="S"
                                 LIBRARY:ref="MoreLabels.Set.S.html"/>
                </RDF:li><RDF:li>
                <RDF:Description LIBRARY:label="Make"
                                 LIBRARY:ref="MoreLabels.Set.Make.html"/>
                </RDF:li>
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Nativeint"
                         LIBRARY:ref="Nativeint.html"/>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Obj"
                         LIBRARY:ref="Obj.html"/>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Parsing"
                         LIBRARY:ref="Parsing.html"/>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Pervasives"
                 LIBRARY:ref="Pervasives.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Exceptions"
                     LIBRARY:ref="Pervasives.html#6_Exceptions">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Comparisons"
                     LIBRARY:ref="Pervasives.html#6_Comparisons">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Boolean operations"
                     LIBRARY:ref="Pervasives.html#6_Booleanoperations">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Integer arithmetic"
                     LIBRARY:ref="Pervasives.html#6_Integerarithmetic">
              
                <RDF:li>
                <RDF:Seq LIBRARY:label="Bitwise operations"
                         LIBRARY:ref="Pervasives.html#7_Bitwiseoperations">
                  
                  </RDF:Seq>
                </RDF:li>
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Floating-point arithmetic"
                     LIBRARY:ref="Pervasives.html#6_Floatingpointarithmetic">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="String operations"
                     LIBRARY:ref="Pervasives.html#6_Stringoperations">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Character operations"
                     LIBRARY:ref="Pervasives.html#6_Characteroperations">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Unit operations"
                     LIBRARY:ref="Pervasives.html#6_Unitoperations">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="String conversion functions"
                     LIBRARY:ref="Pervasives.html#6_Stringconversionfunctions">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Pair operations"
                     LIBRARY:ref="Pervasives.html#6_Pairoperations">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="List operations"
                     LIBRARY:ref="Pervasives.html#6_Listoperations">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Input/output"
                     LIBRARY:ref="Pervasives.html#6_Inputoutput">
              
                <RDF:li>
                <RDF:Seq LIBRARY:label="Output functions on standard output"
                         LIBRARY:ref="Pervasives.html#7_Outputfunctionsonstandardoutput">
                  
                  </RDF:Seq>
                </RDF:li><RDF:li>
                <RDF:Seq LIBRARY:label="Output functions on standard error"
                         LIBRARY:ref="Pervasives.html#7_Outputfunctionsonstandarderror">
                  
                  </RDF:Seq>
                </RDF:li><RDF:li>
                <RDF:Seq LIBRARY:label="Input functions on standard input"
                         LIBRARY:ref="Pervasives.html#7_Inputfunctionsonstandardinput">
                  
                  </RDF:Seq>
                </RDF:li><RDF:li>
                <RDF:Seq LIBRARY:label="General output functions"
                         LIBRARY:ref="Pervasives.html#7_Generaloutputfunctions">
                  
                  </RDF:Seq>
                </RDF:li><RDF:li>
                <RDF:Seq LIBRARY:label="General input functions"
                         LIBRARY:ref="Pervasives.html#7_Generalinputfunctions">
                  
                  </RDF:Seq>
                </RDF:li><RDF:li>
                <RDF:Seq LIBRARY:label="Operations on large files"
                         LIBRARY:ref="Pervasives.html#7_Operationsonlargefiles">
                  
                    <RDF:li>
                    <RDF:Description LIBRARY:label="LargeFile"
                                     LIBRARY:ref="Pervasives.LargeFile.html"/>
                    </RDF:li>
                  </RDF:Seq>
                </RDF:li>
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="References"
                     LIBRARY:ref="Pervasives.html#6_References">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Operations on format strings"
                     LIBRARY:ref="Pervasives.html#6_Operationsonformatstrings">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Program termination"
                     LIBRARY:ref="Pervasives.html#6_Programtermination">
              
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Printexc"
                         LIBRARY:ref="Printexc.html"/>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Printf"
                         LIBRARY:ref="Printf.html"/>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Queue"
                         LIBRARY:ref="Queue.html"/>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Random"
                 LIBRARY:ref="Random.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Basic functions"
                     LIBRARY:ref="Random.html#6_Basicfunctions">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Advanced functions"
                     LIBRARY:ref="Random.html#6_Advancedfunctions">
              
                <RDF:li>
                <RDF:Description LIBRARY:label="State"
                                 LIBRARY:ref="Random.State.html"/>
                </RDF:li>
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Scanf"
                 LIBRARY:ref="Scanf.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Introduction"
                     LIBRARY:ref="Scanf.html#6_Introduction">
              
                <RDF:li>
                <RDF:Seq LIBRARY:label="Functional input with format strings"
                         LIBRARY:ref="Scanf.html#7_Functionalinputwithformatstrings">
                  
                  </RDF:Seq>
                </RDF:li><RDF:li>
                <RDF:Seq LIBRARY:label="A simple example"
                         LIBRARY:ref="Scanf.html#7_Asimpleexample">
                  
                  </RDF:Seq>
                </RDF:li><RDF:li>
                <RDF:Seq LIBRARY:label="Formatted input as a functional feature"
                         LIBRARY:ref="Scanf.html#7_Formattedinputasafunctionalfeature">
                  
                    <RDF:li>
                    <RDF:Description LIBRARY:label="Scanning"
                                     LIBRARY:ref="Scanf.Scanning.html"/>
                    </RDF:li>
                  </RDF:Seq>
                </RDF:li>
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Type of formatted input functions"
                     LIBRARY:ref="Scanf.html#6_Typeofformattedinputfunctions">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="The general formatted input function"
                     LIBRARY:ref="Scanf.html#6_Thegeneralformattedinputfunction">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Format string description"
                     LIBRARY:ref="Scanf.html#6_Formatstringdescription">
              
                <RDF:li>
                <RDF:Seq LIBRARY:label="The space character in format strings"
                         LIBRARY:ref="Scanf.html#7_Thespacecharacterinformatstrings">
                  
                  </RDF:Seq>
                </RDF:li><RDF:li>
                <RDF:Seq LIBRARY:label="Conversion specifications in format strings"
                         LIBRARY:ref="Scanf.html#7_Conversionspecificationsinformatstrings">
                  
                  </RDF:Seq>
                </RDF:li><RDF:li>
                <RDF:Seq LIBRARY:label="Scanning indications in format strings"
                         LIBRARY:ref="Scanf.html#7_Scanningindicationsinformatstrings">
                  
                  </RDF:Seq>
                </RDF:li><RDF:li>
                <RDF:Seq LIBRARY:label="Exceptions during scanning"
                         LIBRARY:ref="Scanf.html#7_Exceptionsduringscanning">
                  
                  </RDF:Seq>
                </RDF:li>
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Specialised formatted input functions"
                     LIBRARY:ref="Scanf.html#6_Specialisedformattedinputfunctions">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Reading format strings from input"
                     LIBRARY:ref="Scanf.html#6_Readingformatstringsfrominput">
              
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Set"
                 LIBRARY:ref="Set.html">
          
            <RDF:li>
            <RDF:Description LIBRARY:label="OrderedType"
                             LIBRARY:ref="Set.OrderedType.html"/>
            </RDF:li><RDF:li>
            <RDF:Description LIBRARY:label="S"
                             LIBRARY:ref="Set.S.html"/>
            </RDF:li><RDF:li>
            <RDF:Description LIBRARY:label="Make"
                             LIBRARY:ref="Set.Make.html"/>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Sort"
                         LIBRARY:ref="Sort.html"/>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Stack"
                         LIBRARY:ref="Stack.html"/>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="StdLabels"
                 LIBRARY:ref="StdLabels.html">
          
            <RDF:li>
            <RDF:Description LIBRARY:label="Array"
                             LIBRARY:ref="StdLabels.Array.html"/>
            </RDF:li><RDF:li>
            <RDF:Description LIBRARY:label="List"
                             LIBRARY:ref="StdLabels.List.html"/>
            </RDF:li><RDF:li>
            <RDF:Description LIBRARY:label="String"
                             LIBRARY:ref="StdLabels.String.html"/>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Stream"
                 LIBRARY:ref="Stream.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Stream builders"
                     LIBRARY:ref="Stream.html#6_Streambuilders">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Stream iterator"
                     LIBRARY:ref="Stream.html#6_Streamiterator">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Predefined parsers"
                     LIBRARY:ref="Stream.html#6_Predefinedparsers">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Useful functions"
                     LIBRARY:ref="Stream.html#6_Usefulfunctions">
              
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="String"
                         LIBRARY:ref="String.html"/>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="StringLabels"
                         LIBRARY:ref="StringLabels.html"/>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Sys"
                 LIBRARY:ref="Sys.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Signal handling"
                     LIBRARY:ref="Sys.html#6_Signalhandling">
              
                <RDF:li>
                <RDF:Seq LIBRARY:label="Signal numbers for the standard POSIX signals."
                         LIBRARY:ref="Sys.html#7_SignalnumbersforthestandardPOSIXsignals">
                  
                  </RDF:Seq>
                </RDF:li>
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Weak"
                 LIBRARY:ref="Weak.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Low-level functions"
                     LIBRARY:ref="Weak.html#6_Lowlevelfunctions">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Weak hash tables"
                     LIBRARY:ref="Weak.html#6_Weakhashtables">
              
                <RDF:li>
                <RDF:Description LIBRARY:label="S"
                                 LIBRARY:ref="Weak.S.html"/>
                </RDF:li><RDF:li>
                <RDF:Description LIBRARY:label="Make"
                                 LIBRARY:ref="Weak.Make.html"/>
                </RDF:li>
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li>
      </RDF:Seq>
    </RDF:li><RDF:li>
    <RDF:Seq LIBRARY:label="Other libraries"
             LIBRARY:ref="">
      
        <RDF:li>
        <RDF:Seq LIBRARY:label="Bigarray"
                 LIBRARY:ref="Bigarray.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Element kinds"
                     LIBRARY:ref="Bigarray.html#6_Elementkinds">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Array layouts"
                     LIBRARY:ref="Bigarray.html#6_Arraylayouts">
              
                <RDF:li>
                <RDF:Seq LIBRARY:label="Supported layouts"
                         LIBRARY:ref="Bigarray.html#7_Supportedlayouts">
                  
                  </RDF:Seq>
                </RDF:li>
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Generic arrays (of arbitrarily many dimensions)"
                     LIBRARY:ref="Bigarray.html#6_Genericarraysofarbitrarilymanydimensions">
              
                <RDF:li>
                <RDF:Description LIBRARY:label="Genarray"
                                 LIBRARY:ref="Bigarray.Genarray.html"/>
                </RDF:li>
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="One-dimensional arrays"
                     LIBRARY:ref="Bigarray.html#6_Onedimensionalarrays">
              
                <RDF:li>
                <RDF:Description LIBRARY:label="Array1"
                                 LIBRARY:ref="Bigarray.Array1.html"/>
                </RDF:li>
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Two-dimensional arrays"
                     LIBRARY:ref="Bigarray.html#6_Twodimensionalarrays">
              
                <RDF:li>
                <RDF:Description LIBRARY:label="Array2"
                                 LIBRARY:ref="Bigarray.Array2.html"/>
                </RDF:li>
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Three-dimensional arrays"
                     LIBRARY:ref="Bigarray.html#6_Threedimensionalarrays">
              
                <RDF:li>
                <RDF:Description LIBRARY:label="Array3"
                                 LIBRARY:ref="Bigarray.Array3.html"/>
                </RDF:li>
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Coercions between generic big arrays and fixed-dimension big arrays"
                     LIBRARY:ref="Bigarray.html#6_Coercionsbetweengenericbigarraysandfixeddimensionbigarrays">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Re-shaping big arrays"
                     LIBRARY:ref="Bigarray.html#6_Reshapingbigarrays">
              
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Dbm"
                         LIBRARY:ref="Dbm.html"/>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Graphics"
                 LIBRARY:ref="Graphics.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Initializations"
                     LIBRARY:ref="Graphics.html#6_Initializations">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Colors"
                     LIBRARY:ref="Graphics.html#6_Colors">
              
                <RDF:li>
                <RDF:Seq LIBRARY:label="Some predefined colors"
                         LIBRARY:ref="Graphics.html#7_Somepredefinedcolors">
                  
                  </RDF:Seq>
                </RDF:li>
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Point and line drawing"
                     LIBRARY:ref="Graphics.html#6_Pointandlinedrawing">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Text drawing"
                     LIBRARY:ref="Graphics.html#6_Textdrawing">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Filling"
                     LIBRARY:ref="Graphics.html#6_Filling">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Images"
                     LIBRARY:ref="Graphics.html#6_Images">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Mouse and keyboard events"
                     LIBRARY:ref="Graphics.html#6_Mouseandkeyboardevents">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Mouse and keyboard polling"
                     LIBRARY:ref="Graphics.html#6_Mouseandkeyboardpolling">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Sound"
                     LIBRARY:ref="Graphics.html#6_Sound">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Double buffering"
                     LIBRARY:ref="Graphics.html#6_Doublebuffering">
              
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Dynlink"
                 LIBRARY:ref="Dynlink.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Dynamic loading of compiled files"
                     LIBRARY:ref="Dynlink.html#6_Dynamicloadingofcompiledfiles">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Access control"
                     LIBRARY:ref="Dynlink.html#6_Accesscontrol">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Deprecated, low-level API for access control"
                     LIBRARY:ref="Dynlink.html#6_DeprecatedlowlevelAPIforaccesscontrol">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Deprecated, initialization"
                     LIBRARY:ref="Dynlink.html#6_Deprecatedinitialization">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Error reporting"
                     LIBRARY:ref="Dynlink.html#6_Errorreporting">
              
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Num"
                 LIBRARY:ref="Num.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Arithmetic operations"
                     LIBRARY:ref="Num.html#6_Arithmeticoperations">
              
                <RDF:li>
                <RDF:Seq LIBRARY:label="Comparisons between numbers"
                         LIBRARY:ref="Num.html#7_Comparisonsbetweennumbers">
                  
                  </RDF:Seq>
                </RDF:li>
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Coercions with strings"
                     LIBRARY:ref="Num.html#6_Coercionswithstrings">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Coercions between numerical types"
                     LIBRARY:ref="Num.html#6_Coercionsbetweennumericaltypes">
              
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Str"
                 LIBRARY:ref="Str.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Regular expressions"
                     LIBRARY:ref="Str.html#6_Regularexpressions">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="String matching and searching"
                     LIBRARY:ref="Str.html#6_Stringmatchingandsearching">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Replacement"
                     LIBRARY:ref="Str.html#6_Replacement">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Splitting"
                     LIBRARY:ref="Str.html#6_Splitting">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Extracting substrings"
                     LIBRARY:ref="Str.html#6_Extractingsubstrings">
              
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Description LIBRARY:label="Module Tk not found."
                         LIBRARY:ref=""/>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="The threads library"
                 LIBRARY:ref="">
          
            <RDF:li>
            <RDF:Description LIBRARY:label="Condition"
                             LIBRARY:ref="Condition.html"/>
            </RDF:li><RDF:li>
            <RDF:Description LIBRARY:label="Event"
                             LIBRARY:ref="Event.html"/>
            </RDF:li><RDF:li>
            <RDF:Description LIBRARY:label="Mutex"
                             LIBRARY:ref="Mutex.html"/>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Thread"
                     LIBRARY:ref="Thread.html">
              
                <RDF:li>
                <RDF:Seq LIBRARY:label="Thread creation and termination"
                         LIBRARY:ref="Thread.html#6_Threadcreationandtermination">
                  
                  </RDF:Seq>
                </RDF:li><RDF:li>
                <RDF:Seq LIBRARY:label="Suspending threads"
                         LIBRARY:ref="Thread.html#6_Suspendingthreads">
                  
                  </RDF:Seq>
                </RDF:li><RDF:li>
                <RDF:Seq LIBRARY:label="Management of signals"
                         LIBRARY:ref="Thread.html#6_Managementofsignals">
                  
                  </RDF:Seq>
                </RDF:li>
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li><RDF:li>
        <RDF:Seq LIBRARY:label="Unix"
                 LIBRARY:ref="Unix.html">
          
            <RDF:li>
            <RDF:Seq LIBRARY:label="Error report"
                     LIBRARY:ref="Unix.html#6_Errorreport">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Access to the process environment"
                     LIBRARY:ref="Unix.html#6_Accesstotheprocessenvironment">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Process handling"
                     LIBRARY:ref="Unix.html#6_Processhandling">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Basic file input/output"
                     LIBRARY:ref="Unix.html#6_Basicfileinputoutput">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Interfacing with the standard input/output library"
                     LIBRARY:ref="Unix.html#6_Interfacingwiththestandardinputoutputlibrary">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Seeking and truncating"
                     LIBRARY:ref="Unix.html#6_Seekingandtruncating">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="File status"
                     LIBRARY:ref="Unix.html#6_Filestatus">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="File operations on large files"
                     LIBRARY:ref="Unix.html#6_Fileoperationsonlargefiles">
              
                <RDF:li>
                <RDF:Description LIBRARY:label="LargeFile"
                                 LIBRARY:ref="Unix.LargeFile.html"/>
                </RDF:li>
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Operations on file names"
                     LIBRARY:ref="Unix.html#6_Operationsonfilenames">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="File permissions and ownership"
                     LIBRARY:ref="Unix.html#6_Filepermissionsandownership">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Operations on file descriptors"
                     LIBRARY:ref="Unix.html#6_Operationsonfiledescriptors">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Directories"
                     LIBRARY:ref="Unix.html#6_Directories">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Pipes and redirections"
                     LIBRARY:ref="Unix.html#6_Pipesandredirections">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="High-level process and redirection management"
                     LIBRARY:ref="Unix.html#6_Highlevelprocessandredirectionmanagement">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Symbolic links"
                     LIBRARY:ref="Unix.html#6_Symboliclinks">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Polling"
                     LIBRARY:ref="Unix.html#6_Polling">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Locking"
                     LIBRARY:ref="Unix.html#6_Locking">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Signals"
                     LIBRARY:ref="Unix.html#6_Signals">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Time functions"
                     LIBRARY:ref="Unix.html#6_Timefunctions">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="User id, group id"
                     LIBRARY:ref="Unix.html#6_Useridgroupid">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Internet addresses"
                     LIBRARY:ref="Unix.html#6_Internetaddresses">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Sockets"
                     LIBRARY:ref="Unix.html#6_Sockets">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Socket options"
                     LIBRARY:ref="Unix.html#6_Socketoptions">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="High-level network connection functions"
                     LIBRARY:ref="Unix.html#6_Highlevelnetworkconnectionfunctions">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Host and protocol databases"
                     LIBRARY:ref="Unix.html#6_Hostandprotocoldatabases">
              
              </RDF:Seq>
            </RDF:li><RDF:li>
            <RDF:Seq LIBRARY:label="Terminal interface"
                     LIBRARY:ref="Unix.html#6_Terminalinterface">
              
              </RDF:Seq>
            </RDF:li>
          </RDF:Seq>
        </RDF:li>
      </RDF:Seq>
    </RDF:li>
  </RDF:Seq>
</RDF:RDF>