Index of types
Index of exceptions
Index of values
Index of modules
Index of module types


Ast_util
util over untyped AST (for comprehensions)
Backend
generate code for various backends
Backend_common
Functions used by multiple backends
Coq_decidable_equality
Def_trans
Infrastructure form definition macros
Finite_map
finite map library
Ident
source-file long identifiers
Initial_env
The initial environment.
Macro_expander
Main
Module_dependencies
module dependency resolution
Name
source-file and internal short identifiers
Nvar
Output
Intermediate output format before going to strings
Path
internal canonical long identifiers
Pattern_syntax
general functions about patterns
Patterns
pattern compilation
Pcombinators
Pp
Precedence
a prefix operation
Process_file
The full environment built after all typechecking, and transforming
Rename_top_level
renaming and module flattening for some targets
Reporting
reporting errors and warnings
Reporting_basic
Basic error reporting
Seplist
general thing of lists with optional separators
Syntactic_tests
Target
Datatype and Function for Targets
Target_binding
resolve_module_path l env sk m tries to find the module-path m in environment env.
Target_syntax
Target_trans
get_transformation targ returns the (pre-backend) transformation function for target targ
Trans
macros for target_trans
Typecheck
check_defs backend_targets mod_name filename mod_in_output env ast typescheck the parsed module ast from file filename in environment env.
Typecheck_ctxt
The distinction between cur_env, new_defs and export_env is interesting.
Typed_ast
Sets of Names
Typed_ast_syntax
syntax functions for typed_ast
Types
Structural comparison of types, without expanding type abbreviations.
Tyvar
type of internal(?) type variables
Util
Mixed useful things