package ocaml-base-compiler

You can search for identifiers within the package.

in-package search v0.2.0

ocaml-base-compiler
- Library bigarray
  - Bigarray
    
    Genarray
    
    Array0
    
    Array1
    
    Array2
    
    Array3
- Library dynlink
  - Dynlink
- Library ocamlbytecomp
  - Bytegen
  - Bytelibrarian
  - Bytelink
  - Bytepackager
  - Compile
  - Emitcode
  - Errors
  - Instruct
  - Maindriver
  - Printinstr
- Library ocamlcommon
  - Annot
  - Arg_helper
    
    Make
  - Ast_helper
    
    Const
    
    Attr
    
    Typ
    
    Pat
    
    Exp
    
    Val
    
    Type
    
    Te
    
    Mty
    
    Mod
    
    Sig
    
    Str
    
    Md
    
    Ms
    
    Mtd
    
    Mb
    
    Opn
    
    Incl
    
    Vb
    
    Cty
    
    Ctf
    
    Cl
    
    Cf
    
    Ci
    
    Csig
    
    Cstr
    
    Rf
    
    Of
  - Ast_invariants
  - Ast_iterator
  - Ast_mapper
  - Asttypes
  - Attr_helper
  - Binutils
  - Btype
    
    TypeSet
    
    TransientTypeMap
    
    TypeMap
    
    TypeHash
    
    TypePairs
    
    For_copy
  - Build_path_prefix_map
  - Builtin_attributes
  - Bytesections
  - CamlinternalMenhirLib
    
    General
    
    Convert
    
    Simplified
    
    IncrementalEngine
    
    INCREMENTAL_ENGINE
    
    SYMBOLS
    
    INSPECTION
    
    EVERYTHING
    
    EngineTypes
    
    TABLE
    
    Log
    
    MONOLITHIC_ENGINE
    
    INCREMENTAL_ENGINE_START
    
    ENGINE
    
    Engine
    
    Make
    
    ErrorReports
    
    LexerUtil
    
    Printers
    
    Make
    
    InfiniteArray
    
    PackedIntArray
    
    RowDisplacement
    
    LinearizedArray
    
    TableFormat
    
    TABLES
    
    InspectionTableFormat
    
    TABLES
    
    InspectionTableInterpreter
    
    Symbols
    
    Make
    
    TableInterpreter
    
    MakeEngineTable
    
    Log
    
    StaticVersion
  - Ccomp
  - Clflags
    
    Int_arg_helper
    
    Float_arg_helper
    
    Compiler_pass
  - Cmi_format
  - Cmo_format
  - Cmt2annot
  - Cmt_format
  - Cmxs_format
  - Compenv
  - Compile_common
  - Compmisc
  - Config
  - Consistbl
    
    Make
  - Ctype
  - Datarepr
  - Debuginfo
    
    Scoped_location
  - Depend
    
    String
  - Diffing
    
    Defs
    
    Define
    
    Parameters
    
    S
    
    Simple
    
    Left_variadic
    
    Right_variadic
  - Diffing_with_keys
    
    Define
    
    Parameters
    
    Simple
  - Dll
  - Docstrings
    
    WithMenhir
  - Domainstate
  - Env
  - Envaux
  - Errortrace
    
    Subtype
  - Expunge
    
    String
  - Ident
    
    T
    
    Set
    
    Map
    
    Tbl
  - Identifiable
    
    Thing
    
    Pair
    
    Set
    
    T
    
    Map
    
    T
    
    Tbl
    
    T
    
    S
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Make
    
    T
    
    Set
    
    Map
    
    Tbl
  - Includeclass
  - Includecore
  - Includemod
    
    Error
    
    FieldMap
    
    Functor_inclusion_diff
    
    Defs
    
    Functor_app_diff
    
    Defs
  - Includemod_errorprinter
  - Int_replace_polymorphic_compare
  - Lambda
  - Lazy_backtrack
  - Lexer
  - Load_path
    
    Dir
  - Local_store
  - Location
  - Longident
  - Main_args
    
    Common_options
    
    Core_options
    
    Compiler_options
    
    Toplevel_options
    
    Bytecomp_options
    
    Bytetop_options
    
    Optcommon_options
    
    Optcomp_options
    
    Opttop_options
    
    Ocamldoc_options
    
    Arg_list
    
    Make_bytecomp_options
    
    Make_bytetop_options
    
    Make_optcomp_options
    
    Make_opttop_options
    
    Make_ocamldoc_options
    
    Default
    
    Topmain
    
    Opttopmain
    
    Main
    
    Optmain
    
    Odoc_args
  - Makedepend
  - Matching
  - Meta
  - Misc
    
    Stdlib
    
    List
    
    Option
    
    Array
    
    String
    
    Set
    
    Map
    
    Tbl
    
    Int_literal_converter
    
    LongString
    
    Color
    
    Error_style
    
    Magic_number
  - Mtype
  - Numbers
    
    Int
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Int8
    
    Int16
    
    Float
    
    T
    
    Set
    
    Map
    
    Tbl
  - Opcodes
  - Oprint
  - Outcometree
  - Parmatch
    
    Compat
  - Parse
  - Parser
    
    MenhirInterpreter
    
    Incremental
  - Parsetree
  - Path
    
    Map
    
    Set
  - Patterns
    
    Non_empty_row
    
    Simple
    
    Half_simple
    
    General
    
    Head
  - Persistent_env
    
    Consistbl
    
    Persistent_signature
  - Pparse
  - Pprintast
  - Predef
  - Primitive
  - Printast
  - Printlambda
  - Printpat
  - Printtyp
    
    Out_name
    
    Naming_context
    
    Conflicts
    
    Subtype
  - Printtyped
  - Profile
  - Rec_check
  - Runtimedef
  - Shape
    
    Uid
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Sig_component_kind
    
    Item
    
    Map
    
    Map
    
    Make_reduce
  - Signature_group
  - Simplif
  - Strongly_connected_components
    
    S
    
    Id
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Make
  - Stypes
  - Subst
    
    Lazy
  - Switch
    
    Stored
    
    CtxStored
    
    CtxStore
    
    Store
    
    S
    
    Make
  - Symtable
  - Syntaxerr
  - Targetint
  - Tast_iterator
  - Tast_mapper
  - Terminfo
  - Tmc
  - Translattribute
  - Translclass
  - Translcore
  - Translmod
  - Translobj
  - Translprim
  - Type_immediacy
    
    Violation
  - Typeclass
  - Typecore
    
    Datatype_kind
  - Typedecl
  - Typedecl_immediacy
  - Typedecl_properties
  - Typedecl_separability
  - Typedecl_unboxed
  - Typedecl_variance
  - Typedtree
  - Typemod
    
    Signature_names
    
    Sig_component_kind
  - Typeopt
  - Types
    
    Transient_expr
    
    TransientTypeOps
    
    Uid
    
    MethSet
    
    VarSet
    
    Meths
    
    Vars
    
    Variance
    
    Separability
  - Typetexp
  - Untypeast
  - Warnings
- Library ocamlmiddleend
  - Alias_analysis
  - Allocated_const
  - Augment_specialised_args
    
    Definition
    
    What_to_specialise
    
    S
    
    Make
  - Backend_var
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Provenance
    
    With_provenance
  - Build_export_info
  - Clambda
  - Clambda_primitives
  - Closure
  - Closure_conversion
  - Closure_conversion_aux
    
    Env
    
    Function_decls
    
    Function_decl
  - Closure_element
    
    T
    
    Set
    
    Map
    
    Tbl
  - Closure_id
    
    T
    
    Set
    
    Map
    
    Tbl
  - Closure_middle_end
  - Closure_offsets
  - Closure_origin
    
    T
    
    Set
    
    Map
    
    Tbl
  - Compilation_unit
    
    T
    
    Set
    
    Map
    
    Tbl
  - Compilenv
  - Convert_primitives
  - Effect_analysis
  - Export_id
    
    T
    
    Set
    
    Map
    
    Tbl
  - Export_info
    
    A
  - Export_info_for_pack
  - Extract_projections
  - Find_recursive_functions
  - Flambda
    
    Constant_defining_value
    
    T
    
    Set
    
    Map
    
    Tbl
    
    With_free_variables
  - Flambda_invariants
  - Flambda_iterators
  - Flambda_middle_end
  - Flambda_to_clambda
  - Flambda_utils
    
    Switch_storer
  - Freshening
    
    Project_var
  - Id_types
    
    BaseId
    
    Id
    
    UnitId
    
    Compilation_unit
    
    Id
    
    UnitId
  - Import_approx
  - Inconstant_idents
  - Initialize_symbol_to_let_symbol
  - Inline_and_simplify
  - Inline_and_simplify_aux
    
    Env
    
    Result
  - Inlining_cost
    
    Threshold
    
    Benefit
    
    Whether_sufficient_benefit
  - Inlining_decision
  - Inlining_stats
    
    Closure_stack
  - Inlining_stats_types
    
    Inlined
    
    Not_inlined
    
    Specialised
    
    Not_specialised
    
    Prevented
    
    Decision
  - Inlining_transforms
  - Internal_variable_names
  - Invariant_params
  - Lift_code
  - Lift_constants
  - Lift_let_to_initialize_symbol
  - Linkage_name
    
    T
    
    Set
    
    Map
    
    Tbl
  - Mutable_variable
    
    T
    
    Set
    
    Map
    
    Tbl
  - Parameter
    
    T
    
    Set
    
    Map
    
    Tbl
    
    List
  - Pass_wrapper
  - Printclambda
  - Printclambda_primitives
  - Projection
    
    T
    
    Set
    
    Map
    
    Tbl
  - Ref_to_variables
  - Remove_free_vars_equal_to_args
  - Remove_unused_arguments
  - Remove_unused_closure_vars
  - Remove_unused_program_constructs
  - Semantics_of_primitives
  - Set_of_closures_id
    
    T
    
    Set
    
    Map
    
    Tbl
  - Set_of_closures_origin
    
    T
    
    Set
    
    Map
    
    Tbl
  - Share_constants
  - Simple_value_approx
  - Simplify_boxed_integer_ops
    
    Simplify_boxed_nativeint
    
    Simplify_boxed_int32
    
    Simplify_boxed_int64
  - Simplify_common
  - Simplify_primitives
  - Static_exception
    
    T
    
    Set
    
    Map
    
    Tbl
  - Symbol
    
    T
    
    Set
    
    Map
    
    Tbl
  - Tag
    
    T
    
    Set
    
    Map
    
    Tbl
  - Traverse_for_exported_symbols
  - Un_anf
  - Unbox_closures
  - Unbox_free_vars_of_closures
  - Unbox_specialised_args
  - Var_within_closure
    
    T
    
    Set
    
    Map
    
    Tbl
  - Variable
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Pair
    
    T
    
    Set
    
    Map
    
    Tbl
- Library ocamloptcomp
  - Afl_instrument
  - Alias_analysis
  - Allocated_const
  - Arch
  - Asmgen
  - Asmlibrarian
  - Asmlink
  - Asmpackager
  - Augment_specialised_args
    
    Definition
    
    What_to_specialise
    
    S
    
    Make
  - Backend_intf
    
    S
  - Backend_var
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Provenance
    
    With_provenance
  - Branch_relaxation
    
    Make
  - Branch_relaxation_intf
    
    S
    
    Cond_branch
  - Build_export_info
  - CSE
    
    cse
  - CSEgen
    
    cse_generic
  - Clambda
  - Clambda_primitives
  - Closure
  - Closure_conversion
  - Closure_conversion_aux
    
    Env
    
    Function_decls
    
    Function_decl
  - Closure_element
    
    T
    
    Set
    
    Map
    
    Tbl
  - Closure_id
    
    T
    
    Set
    
    Map
    
    Tbl
  - Closure_middle_end
  - Closure_offsets
  - Closure_origin
    
    T
    
    Set
    
    Map
    
    Tbl
  - Cmm
  - Cmm_helpers
  - Cmm_invariants
  - Cmmgen
  - Cmmgen_state
  - Cmx_format
  - Coloring
  - Comballoc
  - Compilation_unit
    
    T
    
    Set
    
    Map
    
    Tbl
  - Compilenv
  - Convert_primitives
  - Dataflow
    
    DOMAIN
    
    Backward
  - Deadcode
  - Effect_analysis
  - Emit
  - Emitaux
  - Emitenv
  - Export_id
    
    T
    
    Set
    
    Map
    
    Tbl
  - Export_info
    
    A
  - Export_info_for_pack
  - Extract_projections
  - Find_recursive_functions
  - Flambda
    
    Constant_defining_value
    
    T
    
    Set
    
    Map
    
    Tbl
    
    With_free_variables
  - Flambda_invariants
  - Flambda_iterators
  - Flambda_middle_end
  - Flambda_to_clambda
  - Flambda_utils
    
    Switch_storer
  - Freshening
    
    Project_var
  - Id_types
    
    BaseId
    
    Id
    
    UnitId
    
    Compilation_unit
    
    Id
    
    UnitId
  - Import_approx
  - Inconstant_idents
  - Initialize_symbol_to_let_symbol
  - Inline_and_simplify
  - Inline_and_simplify_aux
    
    Env
    
    Result
  - Inlining_cost
    
    Threshold
    
    Benefit
    
    Whether_sufficient_benefit
  - Inlining_decision
  - Inlining_decision_intf
  - Inlining_stats
    
    Closure_stack
  - Inlining_stats_types
    
    Inlined
    
    Not_inlined
    
    Specialised
    
    Not_specialised
    
    Prevented
    
    Decision
  - Inlining_transforms
  - Interf
  - Internal_variable_names
  - Interval
  - Invariant_params
  - Lift_code
  - Lift_constants
  - Lift_let_to_initialize_symbol
  - Linear
  - Linear_format
  - Linearize
  - Linkage_name
    
    T
    
    Set
    
    Map
    
    Tbl
  - Linscan
  - Liveness
  - Mach
  - Mutable_variable
    
    T
    
    Set
    
    Map
    
    Tbl
  - Optcompile
  - Opterrors
  - Optmaindriver
  - Parameter
    
    T
    
    Set
    
    Map
    
    Tbl
    
    List
  - Pass_wrapper
  - Polling
  - Printclambda
  - Printclambda_primitives
  - Printcmm
  - Printlinear
  - Printmach
  - Proc
  - Projection
    
    T
    
    Set
    
    Map
    
    Tbl
  - Ref_to_variables
  - Reg
    
    Raw_name
    
    Set
    
    Map
  - Reload
  - Reloadgen
    
    reload_generic
  - Remove_free_vars_equal_to_args
  - Remove_unused_arguments
  - Remove_unused_closure_vars
  - Remove_unused_program_constructs
  - Schedgen
    
    scheduler_generic
  - Scheduling
  - Selectgen
    
    Effect
    
    Coeffect
    
    Effect_and_coeffect
    
    selector_generic
  - Selection
  - Semantics_of_primitives
  - Set_of_closures_id
    
    T
    
    Set
    
    Map
    
    Tbl
  - Set_of_closures_origin
    
    T
    
    Set
    
    Map
    
    Tbl
  - Share_constants
  - Simple_value_approx
  - Simplify_boxed_integer_ops
    
    Simplify_boxed_nativeint
    
    Simplify_boxed_int32
    
    Simplify_boxed_int64
  - Simplify_boxed_integer_ops_intf
    
    S
  - Simplify_common
  - Simplify_primitives
  - Spill
  - Split
  - Static_exception
    
    T
    
    Set
    
    Map
    
    Tbl
  - Strmatch
    
    I
    
    Make
  - Symbol
    
    T
    
    Set
    
    Map
    
    Tbl
  - Tag
    
    T
    
    Set
    
    Map
    
    Tbl
  - Traverse_for_exported_symbols
  - Un_anf
  - Unbox_closures
  - Unbox_free_vars_of_closures
  - Unbox_specialised_args
  - Var_within_closure
    
    T
    
    Set
    
    Map
    
    Tbl
  - Variable
    
    T
    
    Set
    
    Map
    
    Tbl
    
    Pair
    
    T
    
    Set
    
    Map
    
    Tbl
  - X86_ast
  - X86_dsl
    
    D
    
    I
  - X86_gas
  - X86_masm
  - X86_proc
- Library ocamltoplevel
  - Genprintval
    
    OBJ
    
    EVALPATH
    
    S
    
    Make
  - Topcommon
  - Topdirs
  - Topeval
  - Toploop
  - Topmain
  - Trace
- Library odoc_info
  - Odoc_info
    
    Name
    
    Parameter
    
    Extension
    
    Exception
    
    Type
    
    Value
    
    Class
    
    Module
    
    Search
    
    Scan
    
    scanner
    
    Dep
    
    Global
- Library stdlib
  - CamlinternalAtomic
  - CamlinternalFormat
  - CamlinternalFormatBasics
  - CamlinternalLazy
  - CamlinternalMod
  - CamlinternalOO
  - Stdlib
    
    LargeFile
    
    Arg
    
    Array
    
    ArrayLabels
    
    Atomic
    
    Bigarray
    
    Genarray
    
    Array0
    
    Array1
    
    Array2
    
    Array3
    
    Bool
    
    Buffer
    
    Bytes
    
    BytesLabels
    
    Callback
    
    Char
    
    Complex
    
    Digest
    
    Either
    
    Ephemeron
    
    S
    
    SeededS
    
    K1
    
    Make
    
    MakeSeeded
    
    Bucket
    
    K2
    
    Make
    
    MakeSeeded
    
    Bucket
    
    Kn
    
    Make
    
    MakeSeeded
    
    Bucket
    
    GenHashTable
    
    MakeSeeded
    
    Filename
    
    Float
    
    Array
    
    ArrayLabels
    
    Format
    
    Fun
    
    Gc
    
    Memprof
    
    Genlex
    
    Hashtbl
    
    HashedType
    
    S
    
    Make
    
    SeededHashedType
    
    SeededS
    
    MakeSeeded
    
    In_channel
    
    Int
    
    Int32
    
    Int64
    
    Lazy
    
    Lexing
    
    List
    
    ListLabels
    
    Map
    
    OrderedType
    
    S
    
    Make
    
    Marshal
    
    MoreLabels
    
    Hashtbl
    
    HashedType
    
    S
    
    Make
    
    SeededHashedType
    
    SeededS
    
    MakeSeeded
    
    Map
    
    OrderedType
    
    S
    
    Make
    
    Set
    
    OrderedType
    
    S
    
    Make
    
    Nativeint
    
    Obj
    
    Closure
    
    Extension_constructor
    
    Ephemeron
    
    Oo
    
    Option
    
    Out_channel
    
    Parsing
    
    Pervasives
    
    LargeFile
    
    Printexc
    
    Slot
    
    Printf
    
    Queue
    
    Random
    
    State
    
    Result
    
    Scanf
    
    Scanning
    
    Seq
    
    Set
    
    OrderedType
    
    S
    
    Make
    
    Stack
    
    StdLabels
    
    Array
    
    Bytes
    
    List
    
    String
    
    Stream
    
    String
    
    StringLabels
    
    Sys
    
    Immediate64
    
    Non_immediate
    
    Immediate
    
    Make
    
    Uchar
    
    Unit
    
    Weak
    
    S
    
    Make
  - Topdirs
- Library str
  - Str
- Library threads
  - Condition
  - Event
  - Mutex
  - Semaphore
    
    Counting
    
    Binary
  - Thread
  - ThreadUnix
- Library unix
  - Unix
    
    LargeFile
  - UnixLabels
    
    LargeFile
- Sources
  - stdlib
    
    arg.ml
    
    array.ml
    
    arrayLabels.ml
    
    atomic.ml
    
    bigarray.ml
    
    bool.ml
    
    buffer.ml
    
    bytes.ml
    
    bytesLabels.ml
    
    callback.ml
    
    camlinternalAtomic.ml
    
    camlinternalFormat.ml
    
    camlinternalFormatBasics.ml
    
    camlinternalLazy.ml
    
    camlinternalMod.ml
    
    camlinternalOO.ml
    
    char.ml
    
    complex.ml
    
    digest.ml
    
    either.ml
    
    ephemeron.ml
    
    filename.ml
    
    float.ml
    
    format.ml
    
    fun.ml
    
    gc.ml
    
    genlex.ml
    
    hashtbl.ml
    
    in_channel.ml
    
    int.ml
    
    int32.ml
    
    int64.ml
    
    lazy.ml
    
    lexing.ml
    
    list.ml
    
    listLabels.ml
    
    map.ml
    
    marshal.ml
    
    moreLabels.ml
    
    nativeint.ml
    
    obj.ml
    
    oo.ml
    
    option.ml
    
    out_channel.ml
    
    parsing.ml
    
    pervasives.ml
    
    printexc.ml
    
    printf.ml
    
    queue.ml
    
    random.ml
    
    result.ml
    
    scanf.ml
    
    seq.ml
    
    set.ml
    
    stack.ml
    
    stdLabels.ml
    
    stdlib.ml
    
    stream.ml
    
    string.ml
    
    stringLabels.ml
    
    sys.ml
    
    uchar.ml
    
    unit.ml
    
    weak.ml

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

Module `Functor_inclusion_diff.Defs`

type left = Types.functor_parameter

type right = left

type eq = Typedtree.module_coercion

type diff = (Types.functor_parameter, unit) Error.functor_param_symptom

type state

package ocaml-base-compiler

Module Functor_inclusion_diff.Defs

Module `Functor_inclusion_diff.Defs`