package odoc

You can search for identifiers within the package.

in-package search v0.2.0

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

Demonstrates the expansion of functors

module type Argument = sig ... end

module type Result = sig ... end

module Functor (X : Argument) (Y : Argument) : Result