package odoc

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module
ModuleType
ModuleSubstitution
ModuleTypeSubstitution
Signature
Include
Exception
Value
Class
ClassType
ClassSignature
Method
InstanceVariable
TypeExpr
Compilation_unit
Page

package odoc

odoc.document
- Odoc_document
  - Codefmt
    
    Infix
    
    State
    
    Tag
  - Comment
    
    Reference
  - Doctree
    
    Headings
    
    Labels
    
    Rewire
    
    Shift
    
    Subpages
    
    Take
    
    Toc
  - Generator
    
    Make
    
    Syntax
    
    Class
    
    Comment
    
    Mod
    
    Obj
    
    Type
    
    Exception
    
    External
    
    GADT
    
    Record
    
    Tuple
    
    Variant
    
    Value
  - Generator_signatures
    
    GENERATOR
    
    SYNTAX
    
    Class
    
    Comment
    
    Mod
    
    Obj
    
    Type
    
    Exception
    
    External
    
    GADT
    
    Record
    
    Tuple
    
    Variant
    
    Value
  - ML
  - Reason
  - Renderer
  - Targets
  - Types
    
    Alternative
    
    Block
    
    Class
    
    Description
    
    DocumentedSrc
    
    Heading
    
    Include
    
    Inline
    
    InternalLink
    
    Item
    
    Page
    
    Raw_markup
    
    Source
    
    Subpage
  - Url
    
    Anchor
    
    Error
    
    Path
  - Utils
odoc.examples
- Odoc_examples
  - Expansion
    
    Aliases
    
    Alias
    
    DeepEquality
    
    M
    
    X
    
    Y
    
    MODTYPE
    
    X
    
    Y
    
    SIG
    
    DeepEquality2
    
    M
    
    X
    
    Y
    
    MODTYPE
    
    X
    
    Y
    
    Functors
    
    Argument
    
    Functor
    
    X
    
    Y
    
    Result
    
    Include
    
    A
    
    B
    
    ToBeIncluded
    
    ModuleTypeAliases
    
    A
    
    ModuleTypeAliases2
    
    A
    
    A
    
    X
    
    B
    
    ModuleTypeOf
    
    A
    
    M
    
    M'
    
    ModuleTypeOfComplications
    
    S
    
    X
    
    Y
    
    Z
    
    T
    
    Y
    
    Z
    
    X1
    
    Shadowing
    
    A
    
    B
    
    Simple
    
    StringSet
    
    TypeSubstitution
    
    S
    
    M
    
    T
    
    M
  - Markup
    
    Foo
    
    Foo
    
    cl
    
    my_class
    
    my_class_type
    
    my_module_type
    
    M
    
    Preamble_examples
    
    Module
    
    Module2
    
    Nonhidden_module
    
    Nonhidden_module2
    
    Scope
    
    A
    
    Stop
    
    foo
  - Resolution
    
    Alias
    
    A
    
    Canonical
    
    A
    
    B
    
    Complicated_1
    
    A
    
    M
    
    B
    
    S
    
    C
    
    N
    
    Complicated_2
    
    Bar
    
    T
    
    Foo
    
    T
    
    FooBarInt
    
    Foo
    
    Type
    
    Fragments
    
    A
    
    B
    
    C
    
    B
    
    D
    
    Hidden
    
    HiddenAlias
    
    B
    
    References
    
    A
    
    B
  - Wrapping
odoc.html
- Odoc_html
  - Generator
  - Link
    
    Path
  - Tree
odoc.latex
- Odoc_latex
  - Generator
  - Raw
    
    Escape
  - Types
odoc.loader
- Odoc_loader
odoc.manpage
- Odoc_manpage
  - Generator
  - Link
odoc.model
- Odoc_model
  - Comment
  - Compat
  - Error
  - Lang
    
    Class
    
    ClassSignature
    
    ClassType
    
    Compilation_unit
    
    Import
    
    Packed
    
    Source
    
    Exception
    
    Extension
    
    Constructor
    
    FunctorParameter
    
    Include
    
    InstanceVariable
    
    Method
    
    Module
    
    Equation
    
    ModuleSubstitution
    
    ModuleType
    
    U
    
    ModuleTypeSubstitution
    
    Open
    
    Page
    
    Signature
    
    TypeDecl
    
    Constructor
    
    Equation
    
    Field
    
    Representation
    
    TypeExpr
    
    Object
    
    Package
    
    Polymorphic_variant
    
    Constructor
    
    Value
  - Location_
  - Names
    
    ClassName
    
    ClassTypeName
    
    ConstructorName
    
    ExceptionName
    
    ExtensionName
    
    FieldName
    
    InstanceVariableName
    
    LabelName
    
    MethodName
    
    ModuleName
    
    ModuleTypeName
    
    Name
    
    PageName
    
    ParameterName
    
    SimpleName
    
    TypeName
    
    ValueName
  - Paths
    
    Fragment
    
    Module
    
    ModuleType
    
    Resolved
    
    Module
    
    ModuleType
    
    Signature
    
    Type
    
    Signature
    
    Type
    
    Identifier
    
    Any
    
    Class
    
    ClassSignature
    
    ClassType
    
    Constructor
    
    ContainerPage
    
    DataType
    
    Exception
    
    Extension
    
    Field
    
    FunctorParameter
    
    FunctorResult
    
    InstanceVariable
    
    Label
    
    LabelParent
    
    Maps
    
    Any
    
    Class
    
    ClassSignature
    
    ClassType
    
    Constructor
    
    ContainerPage
    
    DataType
    
    Exception
    
    Extension
    
    Field
    
    FunctorParameter
    
    InstanceVariable
    
    Label
    
    LabelParent
    
    Method
    
    Module
    
    ModuleType
    
    Page
    
    Parent
    
    Path
    
    ClassType
    
    Module
    
    ModuleType
    
    Type
    
    Signature
    
    Type
    
    Value
    
    Method
    
    Module
    
    ModuleType
    
    OdocId
    
    Page
    
    Parent
    
    Path
    
    ClassType
    
    Module
    
    ModuleType
    
    Type
    
    RootModule
    
    Sets
    
    Class
    
    ClassSignature
    
    ClassType
    
    Constructor
    
    ContainerPage
    
    DataType
    
    Exception
    
    Extension
    
    Field
    
    InstanceVariable
    
    Label
    
    LabelParent
    
    Method
    
    Module
    
    ModuleType
    
    Page
    
    Parent
    
    Signature
    
    Type
    
    Value
    
    Signature
    
    Type
    
    Value
    
    Path
    
    ClassType
    
    Module
    
    ModuleType
    
    Resolved
    
    ClassType
    
    Module
    
    ModuleType
    
    Type
    
    Type
    
    Reference
    
    Class
    
    ClassSignature
    
    ClassType
    
    Constructor
    
    DataType
    
    Exception
    
    Extension
    
    Field
    
    InstanceVariable
    
    Label
    
    LabelParent
    
    Method
    
    Module
    
    ModuleType
    
    Page
    
    Parent
    
    Resolved
    
    Class
    
    ClassSignature
    
    ClassType
    
    Constructor
    
    DataType
    
    Exception
    
    Extension
    
    Field
    
    InstanceVariable
    
    Label
    
    LabelParent
    
    Method
    
    Module
    
    ModuleType
    
    Page
    
    Parent
    
    Signature
    
    Type
    
    Value
    
    Signature
    
    Type
    
    Value
  - Predefined
  - Root
    
    Hash_table
    
    Odoc_file
    
    Package
  - Semantics
odoc.model_desc
- Odoc_model_desc
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
odoc.xref2
- Odoc_xref2
  - Cfrag
  - Compile
  - Component
    
    CComment
    
    Class
    
    ClassSignature
    
    ClassType
    
    Delayed
    
    Element
    
    Exception
    
    Extension
    
    Constructor
    
    Fmt
    
    FunctorParameter
    
    IdentMap
    
    Include
    
    InstanceVariable
    
    Label
    
    Method
    
    Module
    
    ModuleMap
    
    ModuleSubstitution
    
    ModuleType
    
    U
    
    ModuleTypeMap
    
    ModuleTypeSubstitution
    
    Of_Lang
    
    Open
    
    Opt
    
    PathClassTypeMap
    
    PathModuleMap
    
    PathTypeMap
    
    Signature
    
    Substitution
    
    TypeDecl
    
    Constructor
    
    Equation
    
    Field
    
    Representation
    
    TypeExpr
    
    Object
    
    Package
    
    Polymorphic_variant
    
    Constructor
    
    TypeMap
    
    Value
  - Cpath
    
    Cpath
    
    Resolved
  - Env
  - Errors
    
    Tools_error
  - Expand_tools
  - Find
  - Ident
    
    Maps
    
    Module
    
    ModuleType
    
    Type
    
    Name
    
    Of_Identifier
    
    Rename
  - Lang_of
    
    Path
  - Link
  - Lookup_failures
  - Ref_tools
  - Strengthen
  - Subst
  - Tools
  - Type_of
  - Utils
    
    EitherMonad
    
    OptionMonad
    
    ResultMonad
odoc.xref_test
- Odoc_xref_test
  - Common
    
    LangUtils
    
    Fmt
    
    Lens
    
    FunctorParameter
    
    Include
    
    Module
    
    ModuleType
    
    Signature
    
    TypeDecl
    
    Equation
    
    TypeExpr
    
    Lookup

Legend:
Library
Module
Module type
Parameter
Class
Class type

module T = Type_desc

module Digest : sig ... end

val inline_status : [< `Closed | `Default | `Inline | `Open ] Type_desc.t

Module

val module_decl : Odoc_model.Lang.Module.decl Type_desc.t

val module_t : Odoc_model.Lang.Module.t Type_desc.t

val functorparameter_parameter : 
  Odoc_model.Lang.FunctorParameter.parameter Type_desc.t

FunctorParameter

val functorparameter_t : Odoc_model.Lang.FunctorParameter.t Type_desc.t

ModuleType

val moduletype_substitution : 
  Odoc_model.Lang.ModuleType.substitution Type_desc.t

val moduletype_type_of_desc : 
  Odoc_model.Lang.ModuleType.type_of_desc Type_desc.t

val simple_expansion : Odoc_model.Lang.ModuleType.simple_expansion Type_desc.t

val moduletype_path_t : Odoc_model.Lang.ModuleType.path_t Type_desc.t

val moduletype_with_t : Odoc_model.Lang.ModuleType.with_t Type_desc.t

val moduletype_typeof_t : Odoc_model.Lang.ModuleType.typeof_t Type_desc.t

val moduletype_expr : Odoc_model.Lang.ModuleType.expr Type_desc.t

val moduletype_u_expr : Odoc_model.Lang.ModuleType.U.expr Type_desc.t

val moduletype_t : Odoc_model.Lang.ModuleType.t Type_desc.t

ModuleSubstitution

val modulesubstitution_t : Odoc_model.Lang.ModuleSubstitution.t Type_desc.t

ModuleTypeSubstitution

val moduletypesubstitution_t : 
  Odoc_model.Lang.ModuleTypeSubstitution.t Type_desc.t

Signature

val signature_recursive : Odoc_model.Lang.Signature.recursive Type_desc.t

val signature_item : Odoc_model.Lang.Signature.item Type_desc.t

val signature_t : Odoc_model.Lang.Signature.t Type_desc.t

val open_t : Odoc_model.Lang.Open.t Type_desc.t

Open

Include

val include_shadowed : Odoc_model.Lang.Include.shadowed Type_desc.t

val include_expansion : Odoc_model.Lang.Include.expansion Type_desc.t

val include_decl : Odoc_model.Lang.Include.decl Type_desc.t

val include_t : Odoc_model.Lang.Include.t Type_desc.t

val typedecl_field : Odoc_model.Lang.TypeDecl.Field.t Type_desc.t

TypeDecl

val typedecl_constructor_argument : 
  Odoc_model.Lang.TypeDecl.Constructor.argument T.t

val typedecl_constructor : Odoc_model.Lang.TypeDecl.Constructor.t T.t

val typedecl_representation : Odoc_model.Lang.TypeDecl.Representation.t T.t

val typedecl_variance : Odoc_model.Lang.TypeDecl.variance Type_desc.t

val typedecl_param_desc : Odoc_model.Lang.TypeDecl.param_desc Type_desc.t

val typedecl_param : Odoc_model.Lang.TypeDecl.param Type_desc.t

val typedecl_equation : Odoc_model.Lang.TypeDecl.Equation.t Type_desc.t

val typedecl_t : Odoc_model.Lang.TypeDecl.t Type_desc.t

val extension_constructor : Odoc_model.Lang.Extension.Constructor.t Type_desc.t

Extension

val extension_t : Odoc_model.Lang.Extension.t Type_desc.t

Exception

val exception_t : Odoc_model.Lang.Exception.t Type_desc.t

Value

val value_t : Odoc_model.Lang.Value.t Type_desc.t

Class

val class_decl : Odoc_model.Lang.Class.decl Type_desc.t

val class_t : Odoc_model.Lang.Class.t Type_desc.t

ClassType

val classtype_expr : Odoc_model.Lang.ClassType.expr Type_desc.t

val classtype_t : Odoc_model.Lang.ClassType.t Type_desc.t

ClassSignature

val classsignature_item : Odoc_model.Lang.ClassSignature.item Type_desc.t

val classsignature_t : Odoc_model.Lang.ClassSignature.t Type_desc.t

Method

val method_t : Odoc_model.Lang.Method.t Type_desc.t

InstanceVariable

val instancevariable_t : Odoc_model.Lang.InstanceVariable.t Type_desc.t

TypeExpr

val typeexpr_polymorphic_variant_kind : 
  Odoc_model.Lang.TypeExpr.Polymorphic_variant.kind Type_desc.t

val typeexpr_polymorphic_variant_constructor : 
  Odoc_model.Lang.TypeExpr.Polymorphic_variant.Constructor.t Type_desc.t

val typeexpr_polymorphic_variant_element : 
  Odoc_model.Lang.TypeExpr.Polymorphic_variant.element Type_desc.t

val typeexpr_polymorphic_variant : 
  Odoc_model.Lang.TypeExpr.Polymorphic_variant.t Type_desc.t

val typeexpr_object_method_ : 
  Odoc_model.Lang.TypeExpr.Object.method_ Type_desc.t

val typeexpr_object_field : Odoc_model.Lang.TypeExpr.Object.field Type_desc.t

val typeexpr_object : Odoc_model.Lang.TypeExpr.Object.t Type_desc.t

val typeexpr_package_substitution : 
  (Odoc_model.Paths.Fragment.t * Odoc_model.Lang.TypeExpr.t) Type_desc.t

val typeexpr_package : Odoc_model.Lang.TypeExpr.Package.t Type_desc.t

val typeexpr_label : Odoc_model.Lang.TypeExpr.label Type_desc.t

val typeexpr_t : Odoc_model.Lang.TypeExpr.t Type_desc.t

Compilation_unit

val compilation_unit_import : 
  Odoc_model.Lang.Compilation_unit.Import.t Type_desc.t

val compilation_unit_source : 
  Odoc_model.Lang.Compilation_unit.Source.t Type_desc.t

val compilation_unit_packed_item : 
  Odoc_model.Lang.Compilation_unit.Packed.item Type_desc.t

val compilation_unit_packed : 
  Odoc_model.Lang.Compilation_unit.Packed.t Type_desc.t

val compilation_unit_content : 
  Odoc_model.Lang.Compilation_unit.content Type_desc.t

val compilation_unit_t : Odoc_model.Lang.Compilation_unit.t Type_desc.t

Page

val page_t : Odoc_model.Lang.Page.t Type_desc.t