package odoc

You can search for identifiers within the package.

in-package search v0.2.0

odoc
- Contributing to odoc
- How to drive odoc
- Dune and odoc
- Language Features
- odoc interface guarantees
- Markup Differences from OCamldoc
- odoc_document
- Examples
- odoc for authors
- odoc_html
- odoc_latex
- odoc_loader
- odoc_manpage
- odoc_model
- odoc_model_desc
- odoc_odoc
- odoc_xref2
- odoc_xref_test
- Parent/Child Specification
- Library odoc.document
  - Odoc_document
    
    Codefmt
    
    Infix
    
    Comment
    
    Comment
    
    Reference
    
    Compat
    
    Doctree
    
    Take
    
    Rewire
    
    Toc
    
    Subpages
    
    Shift
    
    Headings
    
    Labels
    
    Generator
    
    Make
    
    Generator_signatures
    
    Lang
    
    SYNTAX
    
    Obj
    
    Type
    
    Variant
    
    Tuple
    
    Record
    
    Exception
    
    GADT
    
    External
    
    Mod
    
    Class
    
    Value
    
    Comment
    
    GENERATOR
    
    ML
    
    Reason
    
    Renderer
    
    Targets
    
    Types
    
    Class
    
    InternalLink
    
    Raw_markup
    
    Source
    
    Inline
    
    Description
    
    Heading
    
    Block
    
    DocumentedSrc
    
    Alternative
    
    Subpage
    
    Include
    
    Item
    
    Page
    
    Url
    
    Error
    
    Path
    
    Anchor
    
    Utils
- Library odoc.examples
  - Odoc_examples
    
    Expansion
    
    Simple
    
    StringSet
    
    Aliases
    
    Alias
    
    ModuleTypeAliases
    
    A
    
    B
    
    ModuleTypeAliases2
    
    A
    
    A
    
    X
    
    B
    
    A
    
    X
    
    Functors
    
    Argument
    
    Result
    
    Functor
    
    Include
    
    ToBeIncluded
    
    A
    
    B
    
    Shadowing
    
    A
    
    B
    
    DeepEquality
    
    SIG
    
    MODTYPE
    
    X
    
    Y
    
    M
    
    X
    
    Y
    
    DeepEquality2
    
    MODTYPE
    
    X
    
    Y
    
    M
    
    X
    
    Y
    
    TypeSubstitution
    
    S
    
    M
    
    T
    
    M
    
    ModuleTypeOf
    
    A
    
    M
    
    M'
    
    ModuleTypeOfComplications
    
    S
    
    X
    
    Y
    
    Z
    
    X1
    
    T
    
    Y
    
    Z
    
    Resolution
    
    Alias
    
    A
    
    B
    
    A
    
    B
    
    HiddenAlias
    
    B
    
    Canonical
    
    A
    
    B
    
    Fragments
    
    A
    
    B
    
    C
    
    B
    
    D
    
    Hidden
    
    References
    
    A
    
    A
    
    B
    
    B
    
    Complicated_1
    
    A
    
    M
    
    S
    
    N
    
    B
    
    S
    
    C
    
    M
    
    N
    
    Complicated_2
    
    Type
    
    T
    
    App
    
    Bar
    
    T
    
    Foo
    
    T
    
    Foo
    
    FooBarInt
    
    Foo
    
    Wrapping
    
    Markup
    
    Foo
    
    cl
    
    my_class
    
    my_class_type
    
    Foo
    
    my_module_type
    
    M
    
    Stop
    
    foo
    
    Scope
    
    A
    
    Preamble_examples
    
    Module
    
    Module2
    
    Nonhidden_module
    
    Module3
    
    Nonhidden_module2
    
    Module4
- Library odoc.html
  - Odoc_html
    
    Tree
    
    Html
    
    Generator
    
    Link
    
    Url
    
    Path
- Library odoc.latex
  - Odoc_latex
    
    Generator
    
    Link
    
    Raw
    
    Escape
    
    Types
- Library odoc.loader
  - Odoc_loader
- Library odoc.manpage
  - Odoc_manpage
    
    Generator
    
    Link
- Library odoc.model
  - Odoc_model
    
    Lang
    
    Module
    
    Equation
    
    FunctorParameter
    
    ModuleType
    
    U
    
    ModuleSubstitution
    
    ModuleTypeSubstitution
    
    Signature
    
    Open
    
    Include
    
    TypeDecl
    
    Field
    
    Constructor
    
    Representation
    
    Equation
    
    Extension
    
    Constructor
    
    Exception
    
    Value
    
    Class
    
    ClassType
    
    ClassSignature
    
    Method
    
    InstanceVariable
    
    TypeExpr
    
    Polymorphic_variant
    
    Constructor
    
    Object
    
    Package
    
    Compilation_unit
    
    Import
    
    Source
    
    Packed
    
    Page
    
    Comment
    
    Path
    
    Reference
    
    Identifier
    
    Paths
    
    Identifier
    
    Any
    
    Signature
    
    ClassSignature
    
    DataType
    
    Parent
    
    LabelParent
    
    RootModule
    
    Module
    
    FunctorParameter
    
    FunctorResult
    
    ModuleType
    
    Type
    
    Constructor
    
    Field
    
    Extension
    
    Exception
    
    Value
    
    Class
    
    ClassType
    
    Method
    
    InstanceVariable
    
    Label
    
    Page
    
    ContainerPage
    
    OdocId
    
    Path
    
    Module
    
    ModuleType
    
    Type
    
    ClassType
    
    Sets
    
    Signature
    
    ClassSignature
    
    DataType
    
    Parent
    
    LabelParent
    
    Module
    
    ModuleType
    
    Type
    
    Constructor
    
    Field
    
    Extension
    
    Exception
    
    Value
    
    Class
    
    ClassType
    
    Method
    
    InstanceVariable
    
    Label
    
    Page
    
    ContainerPage
    
    Maps
    
    Any
    
    Signature
    
    ClassSignature
    
    DataType
    
    Parent
    
    LabelParent
    
    FunctorParameter
    
    Module
    
    ModuleType
    
    Type
    
    Constructor
    
    Field
    
    Extension
    
    Exception
    
    Value
    
    Class
    
    ClassType
    
    Method
    
    InstanceVariable
    
    Label
    
    Page
    
    ContainerPage
    
    Path
    
    Module
    
    ModuleType
    
    Type
    
    ClassType
    
    Path
    
    Resolved
    
    Module
    
    ModuleType
    
    Type
    
    ClassType
    
    Module
    
    ModuleType
    
    Type
    
    ClassType
    
    Fragment
    
    Resolved
    
    Signature
    
    Module
    
    ModuleType
    
    Type
    
    Signature
    
    Module
    
    ModuleType
    
    Type
    
    Reference
    
    Resolved
    
    Signature
    
    ClassSignature
    
    DataType
    
    Parent
    
    LabelParent
    
    Module
    
    ModuleType
    
    Type
    
    Constructor
    
    Field
    
    Extension
    
    Exception
    
    Value
    
    Class
    
    ClassType
    
    Method
    
    InstanceVariable
    
    Label
    
    Page
    
    Signature
    
    ClassSignature
    
    DataType
    
    Parent
    
    LabelParent
    
    Module
    
    ModuleType
    
    Type
    
    Constructor
    
    Field
    
    Extension
    
    Exception
    
    Value
    
    Class
    
    ClassType
    
    Method
    
    InstanceVariable
    
    Label
    
    Page
    
    Names
    
    Name
    
    SimpleName
    
    ModuleName
    
    ParameterName
    
    ModuleTypeName
    
    TypeName
    
    ConstructorName
    
    FieldName
    
    ExtensionName
    
    ExceptionName
    
    ValueName
    
    ClassName
    
    ClassTypeName
    
    MethodName
    
    InstanceVariableName
    
    LabelName
    
    PageName
    
    Predefined
    
    Root
    
    Package
    
    Odoc_file
    
    Hash_table
    
    Error
    
    Location_
    
    Compat
    
    Semantics
- Library odoc.model_desc
  - Odoc_model_desc
    
    Comment_desc
    
    Lang_desc
    
    T
    
    Digest
    
    Paths_desc
    
    Type_desc
- Library odoc.ocamlary
  - Ocamlary
    
    Empty
    
    Empty
    
    MissingComment
    
    EmptyAlias
    
    EmptySig
    
    EmptySigAlias
    
    ModuleWithSignature
    
    ModuleWithSignatureAlias
    
    One
    
    SigForMod
    
    Inner
    
    Empty
    
    SuperSig
    
    SubSigA
    
    SubSigAMod
    
    SubSigB
    
    EmptySig
    
    One
    
    SuperSig
    
    Buffer
    
    CollectionModule
    
    InnerModuleA
    
    InnerModuleA'
    
    InnerModuleTypeA'
    
    InnerModuleTypeA
    
    COLLECTION
    
    InnerModuleA
    
    InnerModuleA'
    
    InnerModuleTypeA'
    
    InnerModuleTypeA
    
    Recollection
    
    InnerModuleA
    
    InnerModuleA'
    
    InnerModuleTypeA'
    
    InnerModuleTypeA
    
    MMM
    
    C
    
    InnerModuleA
    
    InnerModuleA'
    
    InnerModuleTypeA'
    
    InnerModuleTypeA
    
    RECOLLECTION
    
    C
    
    RecollectionModule
    
    InnerModuleA
    
    InnerModuleA'
    
    InnerModuleTypeA'
    
    InnerModuleTypeA
    
    A
    
    Q
    
    InnerModuleA
    
    InnerModuleA'
    
    InnerModuleTypeA'
    
    InnerModuleTypeA
    
    B
    
    Q
    
    InnerModuleA
    
    InnerModuleA'
    
    InnerModuleTypeA'
    
    InnerModuleTypeA
    
    C
    
    Q
    
    InnerModuleA
    
    InnerModuleA'
    
    InnerModuleTypeA'
    
    InnerModuleTypeA
    
    FunctorTypeOf
    
    IncludeModuleType
    
    ToInclude
    
    IncludedA
    
    IncludedB
    
    IncludedA
    
    IncludedB
    
    ExtMod
    
    empty_class
    
    one_method_class
    
    two_method_class
    
    param_class
    
    Dep1
    
    S
    
    c
    
    X
    
    Y
    
    c
    
    Dep2
    
    A
    
    Y
    
    B
    
    Dep3
    
    Dep4
    
    T
    
    S
    
    X
    
    Y
    
    X
    
    Dep5
    
    Z
    
    X
    
    Y
    
    Dep6
    
    S
    
    T
    
    R
    
    Y
    
    X
    
    R
    
    Y
    
    Dep7
    
    M
    
    R
    
    Y
    
    Dep8
    
    T
    
    Dep9
    
    T
    
    Dep10
    
    Dep11
    
    S
    
    c
    
    Dep12
    
    T
    
    Dep13
    
    c
    
    With1
    
    M
    
    S
    
    N
    
    With2
    
    S
    
    With3
    
    M
    
    N
    
    With4
    
    N
    
    With5
    
    S
    
    N
    
    With6
    
    T
    
    M
    
    S
    
    N
    
    With7
    
    T
    
    With8
    
    M
    
    S
    
    N
    
    With9
    
    S
    
    With10
    
    T
    
    M
    
    S
    
    N
    
    With11
    
    M
    
    N
    
    NestedInclude1
    
    NestedInclude2
    
    NestedInclude2
    
    DoubleInclude1
    
    DoubleInclude2
    
    DoubleInclude3
    
    DoubleInclude2
    
    IncludeInclude1
    
    IncludeInclude2
    
    IncludeInclude2_M
    
    IncludeInclude2
    
    IncludeInclude2_M
    
    CanonicalTest
    
    Base
    
    List
    
    Base_Tests
    
    C
    
    L
    
    List_modif
    
    Aliases
    
    Foo
    
    A
    
    B
    
    C
    
    D
    
    E
    
    A'
    
    Std
    
    A
    
    B
    
    C
    
    D
    
    E
    
    A
    
    B
    
    C
    
    D
    
    E
    
    P1
    
    Y
    
    P2
    
    Z
    
    X1
    
    X2
    
    M
    
    M
    
    Only_a_module
    
    TypeExt
    
    TypeExtPruned
- Library odoc.odoc
  - Odoc_odoc
    
    Compile
    
    Css_file
    
    Depends
    
    Compile
    
    Fs
    
    Directory
    
    Table
    
    File
    
    Table
    
    Highlight_js
    
    Html_fragment
    
    Html_page
    
    Latex
    
    Man_page
    
    Odoc_file
    
    Odoc_link
    
    Or_error
    
    Rendering
    
    Resolver
    
    Support_files
    
    Url
- Library odoc.xref2
  - Odoc_xref2
    
    Cfrag
    
    Compile
    
    Component
    
    ModuleMap
    
    TypeMap
    
    PathModuleMap
    
    ModuleTypeMap
    
    PathTypeMap
    
    PathClassTypeMap
    
    IdentMap
    
    Delayed
    
    Opt
    
    Module
    
    ModuleSubstitution
    
    ModuleTypeSubstitution
    
    TypeExpr
    
    Polymorphic_variant
    
    Constructor
    
    Object
    
    Package
    
    Extension
    
    Constructor
    
    Exception
    
    FunctorParameter
    
    ModuleType
    
    U
    
    TypeDecl
    
    Field
    
    Constructor
    
    Representation
    
    Equation
    
    Signature
    
    Open
    
    Include
    
    Value
    
    Class
    
    ClassType
    
    ClassSignature
    
    Method
    
    InstanceVariable
    
    Substitution
    
    CComment
    
    Label
    
    Element
    
    Fmt
    
    Of_Lang
    
    Cpath
    
    Resolved
    
    Cpath
    
    Env
    
    LookupTypeSet
    
    Errors
    
    Tools_error
    
    Expand_tools
    
    Find
    
    Ident
    
    Of_Identifier
    
    Name
    
    Rename
    
    Maps
    
    Module
    
    ModuleType
    
    Type
    
    Lang_of
    
    Opt
    
    Path
    
    Link
    
    Lookup_failures
    
    Ref_tools
    
    Strengthen
    
    Subst
    
    Tools
    
    Type_of
    
    Utils
    
    ResultMonad
    
    OptionMonad
    
    EitherMonad
- Library odoc.xref_test
  - Odoc_xref_test
    
    Common
    
    Ident
    
    LangUtils
    
    Lens
    
    Signature
    
    Module
    
    Include
    
    ModuleType
    
    FunctorParameter
    
    TypeDecl
    
    Equation
    
    TypeExpr
    
    Lookup
    
    Fmt
- Sources
  - odoc.document
    
    ML.ml
    
    codefmt.ml
    
    comment.ml
    
    compat.ml
    
    doctree.ml
    
    generator.ml
    
    generator_signatures.ml
    
    odoc_document.ml
    
    reason.ml
    
    renderer.ml
    
    targets.ml
    
    types.ml
    
    url.ml
    
    utils.ml
  - odoc.examples
    
    odoc_examples.ml
    
    odoc_examples__.ml
  - odoc.html
    
    generator.ml
    
    link.ml
    
    odoc_html.ml
    
    odoc_html__.ml
    
    tree.ml
    
    utils.ml
  - odoc.latex
    
    generator.ml
    
    odoc_latex.ml
    
    raw.ml
    
    types.ml
  - odoc.loader
    
    cmi.ml
    
    cmt.ml
    
    cmti.ml
    
    doc_attr.ml
    
    ident_env.ml
    
    odoc_loader.ml
    
    odoc_loader__.ml
  - odoc.manpage
    
    generator.ml
    
    link.ml
    
    odoc_manpage.ml
  - odoc.model
    
    comment.ml
    
    compat.ml
    
    error.ml
    
    lang.ml
    
    location_.ml
    
    names.ml
    
    odoc_model.ml
    
    odoc_model__.ml
    
    paths.ml
    
    paths_types.ml
    
    predefined.ml
    
    reference.ml
    
    root.ml
    
    semantics.ml
  - odoc.model_desc
    
    comment_desc.ml
    
    lang_desc.ml
    
    odoc_model_desc.ml
    
    paths_desc.ml
    
    type_desc.ml
  - odoc.odoc
    
    compile.ml
    
    css_file.ml
    
    depends.ml
    
    fs.ml
    
    highlight_js.ml
    
    html_fragment.ml
    
    html_page.ml
    
    latex.ml
    
    man_page.ml
    
    odoc_file.ml
    
    odoc_link.ml
    
    odoc_odoc.ml
    
    or_error.ml
    
    rendering.ml
    
    resolver.ml
    
    support_files.ml
    
    url.ml
  - odoc.xref2
    
    cfrag.ml
    
    compile.ml
    
    component.ml
    
    cpath.ml
    
    env.ml
    
    errors.ml
    
    expand_tools.ml
    
    find.ml
    
    ident.ml
    
    lang_of.ml
    
    link.ml
    
    lookup_failures.ml
    
    odoc_xref2.ml
    
    ref_tools.ml
    
    strengthen.ml
    
    subst.ml
    
    tools.ml
    
    type_of.ml
    
    utils.ml
  - odoc.xref_test
    
    common.ml
    
    odoc_xref_test.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Odoc_xref2.Link`

val signature : 
  Env.t ->
  Odoc_model.Paths.Identifier.Signature.t ->
  Odoc_model.Lang.Signature.t ->
  Odoc_model.Lang.Signature.t

For testing purpose. May call Lookup_failures.report.

val link : 
  filename:string ->
  Env.t ->
  Odoc_model.Lang.Compilation_unit.t ->
  Odoc_model.Lang.Compilation_unit.t Odoc_model.Error.with_warnings

val resolve_page : 
  filename:string ->
  Env.t ->
  Odoc_model.Lang.Page.t ->
  Odoc_model.Lang.Page.t Odoc_model.Error.with_warnings

package odoc

Module Odoc_xref2.Link

Module `Odoc_xref2.Link`