Typemod.Signature_names · ocaml-base-compiler 4.12.1

🡠 ocaml-base-compiler

Official release 4.12.1

package ocaml-base-compiler

ocamlcommon
- Arg_helper
  - Make
    
    1-S
    
    Key
    
    Map
    
    Value
- Ast_helper
  - Attr
  - Cf
  - Ci
  - Cl
  - Const
  - Csig
  - Cstr
  - Ctf
  - Cty
  - Exp
  - Incl
  - Mb
  - Md
  - Mod
  - Ms
  - Mtd
  - Mty
  - Of
  - Opn
  - Pat
  - Rf
  - Sig
  - Str
  - Te
  - Typ
  - Type
  - Val
  - Vb
- Ast_invariants
- Ast_iterator
- Ast_mapper
- Attr_helper
- Binutils
- Btype
  - For_copy
  - TypeHash
  - TypeMap
  - TypeSet
- Build_path_prefix_map
- Builtin_attributes
- Bytesections
- CamlinternalMenhirLib
  - Convert
    
    Simplified
  - Engine
    
    Make
    
    1-T
    
    Log
  - EngineTypes
    
    ENGINE
    
    INCREMENTAL_ENGINE_START
    
    MONOLITHIC_ENGINE
    
    TABLE
    
    Log
  - ErrorReports
  - General
  - IncrementalEngine
    
    EVERYTHING
    
    INCREMENTAL_ENGINE
    
    INSPECTION
    
    SYMBOLS
  - InfiniteArray
  - InspectionTableFormat
    
    TABLES
  - InspectionTableInterpreter
    
    Make
    
    1-TT
    
    2-IT
    
    3-ET
    
    Log
    
    4-E
    
    Symbols
    
    1-T
  - LinearizedArray
  - PackedIntArray
  - Printers
    
    Make
    
    1-I
    
    2-User
  - RowDisplacement
  - StaticVersion
  - TableFormat
    
    TABLES
  - TableInterpreter
    
    MakeEngineTable
    
    1-T
    
    Log
- Ccomp
- Clflags
- Cmi_format
- Cmt2annot
- Cmt_format
- Compenv
- Compile_common
- Compmisc
- Config
- Consistbl
  - Make
    
    1-Module_name
    
    Map
    
    Set
    
    Tbl
- Ctype
  - TypePairs
  - Unification_trace
- Datarepr
- Debuginfo
  - Scoped_location
- Depend
- Dll
- Docstrings
  - WithMenhir
- Domainstate
- Env
- Envaux
- Ident
  - Map
  - Set
  - T
  - Tbl
- Identifiable
  - Make
    
    1-T
    
    Map
    
    Set
    
    T
    
    Tbl
  - Map
    
    T
  - Pair
    
    1-A
    
    2-B
  - S
    
    Map
    
    Set
    
    T
    
    Tbl
  - Set
    
    T
  - Tbl
    
    T
  - Thing
- Includeclass
- Includecore
- Includemod
- Int_replace_polymorphic_compare
- Lambda
- Lexer
- Load_path
  - Dir
- Local_store
- Location
- Longident
- Main_args
- Makedepend
- Matching
- Meta
- Misc
  - Color
  - EnvLazy
  - Error_style
  - Int_literal_converter
  - LongString
  - Magic_number
  - Stdlib
    
    Array
    
    List
    
    Option
    
    String
    
    Map
    
    Set
    
    Tbl
- Mtype
- Numbers
  - Float
    
    Map
    
    Set
    
    T
    
    Tbl
  - Int
    
    Map
    
    Set
    
    T
    
    Tbl
  - Int16
  - Int8
- Opcodes
- Oprint
- Parmatch
  - Compat
    
    1-_
- Parse
- Parser
  - Incremental
  - MenhirInterpreter
- Path
  - Map
  - Set
- Patterns
  - General
  - Half_simple
  - Head
  - Non_empty_row
  - Simple
- Persistent_env
  - Consistbl
  - Persistent_signature
- Pparse
- Pprintast
- Predef
- Primitive
- Printast
- Printlambda
- Printpat
- Printtyp
- Printtyped
- Profile
- Rec_check
- Runtimedef
- Simplif
- Strongly_connected_components
  - Make
    
    1-Id
    
    Map
    
    Set
    
    T
    
    Tbl
  - S
    
    Id
    
    Map
    
    Set
    
    T
    
    Tbl
- Stypes
- Subst
- Switch
  - CtxStore
    
    1-A
  - CtxStored
  - Make
    
    1-Arg
  - S
  - Store
    
    1-A
  - Stored
- Symtable
- Syntaxerr
- Targetint
- Tast_iterator
- Tast_mapper
- Terminfo
- 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
  - Sig_component_kind
  - Signature_names
- Typeopt
- Types
  - Concr
  - Meths
  - Separability
  - TypeOps
  - Uid
    
    Map
    
    Set
    
    T
    
    Tbl
  - Variance
  - Vars
- Typetexp
- Untypeast
- Warnings

Legend:
Library
Module
Module type
Parameter
Class
Class type

Library ocamlcommon

Module Typemod . Signature_names

type t

val simplify : Env.t -> t -> Types.signature -> Types.signature