Module `Ocaml_typing`Source

Sourcemodule Allowance : sig ... end

module Annot : sig ... end

Sourcemodule Axis_lattice : sig ... end

Sourcemodule Btype : sig ... end

Sourcemodule CamlinternalQuote : sig ... end

Sourcemodule Cmi_cache : sig ... end

Sourcemodule Cmi_format : sig ... end

Sourcemodule Cms_cache : sig ... end

Sourcemodule Cms_format : sig ... end

cms and cmsi files format.

Sourcemodule Cmt_cache : sig ... end

Sourcemodule Cmt_format : sig ... end

cmt and cmti files format.

Sourcemodule Compilation_unit : sig ... end

Sourcemodule Ctype : sig ... end

Sourcemodule Datarepr : sig ... end

Sourcemodule Env : sig ... end

Sourcemodule Envaux : sig ... end

Sourcemodule Errortrace : sig ... end

Sourcemodule Global_module : sig ... end

Sourcemodule Ident : sig ... end

Sourcemodule Ikind : sig ... end

Sourcemodule Import_info : sig ... end

Sourcemodule Includeclass : sig ... end

Sourcemodule Includecore : sig ... end

Sourcemodule Includemod : sig ... end

Sourcemodule Includemod_errorprinter : sig ... end

Sourcemodule Jkind : sig ... end

Sourcemodule Jkind_axis : sig ... end

Sourcemodule Jkind_intf : sig ... end

Sourcemodule Jkind_types : sig ... end

You should use the types defined in Jkind (which redefines the types in this file) rather than using this file directly, unless you are in Types or Primitive.

Sourcemodule Lambda : sig ... end

Sourcemodule Ldd : sig ... end

Sourcemodule Ldd_intf : sig ... end

Sourcemodule Magic_numbers : sig ... end

Sourcemodule Mixed_product_bytes : sig ... end

Counts the number of bytes belonging to values and flat (non-value) of a mixed block element, for the purpose of compiling block indices

Sourcemodule Mode : sig ... end

module Mode_hint : sig ... end

module Mode_intf : sig ... end

Sourcemodule Msupport : sig ... end

Sourcemodule Mtype : sig ... end

Sourcemodule Natural : sig ... end

Support for creating fresh types isomorphic to the natural numbers

Sourcemodule Oprint : sig ... end

module Outcometree : sig ... end

Sourcemodule Parmatch : sig ... end

Detection of partial matches and unused match cases.

Sourcemodule Path : sig ... end

Sourcemodule Patterns : sig ... end

Sourcemodule Persistent_env : sig ... end

Sourcemodule Predef : sig ... end

Sourcemodule Primitive : sig ... end

Sourcemodule Printpat : sig ... end

Sourcemodule Printtyp : sig ... end

Sourcemodule Printtyped : sig ... end

Sourcemodule Saved_parts : sig ... end

Sourcemodule Scalar : sig ... end

This module defines: The scalar types intrinsic to the OCaml compiler, and all of the primitive operations defined on them.

Sourcemodule Shape : sig ... end

Shapes are an abstract representation of modules' implementations which allow the tracking of definitions through functor applications and other module-level operations.

Sourcemodule Shape_reduce : sig ... end

Sourcemodule Short_paths : sig ... end

Sourcemodule Short_paths_graph : sig ... end

Short_path_graph is a representation of the environment (as a graph, using Graph.t) that is more suitable to answer short path queries.

Sourcemodule Signature_group : sig ... end

Iterate on signature by syntactic group of items

Sourcemodule Signature_with_global_bindings : sig ... end

Sourcemodule Solver : sig ... end

module Solver_intf : sig ... end

Sourcemodule Stypes : sig ... end

Sourcemodule Subst : sig ... end

Substitutions

Sourcemodule Tast_iterator : sig ... end

Allows the implementation of typed tree inspection using open recursion

Sourcemodule Tast_mapper : sig ... end

Sourcemodule Type_shape : sig ... end

Sourcemodule Typeclass : sig ... end

Sourcemodule Typecore : sig ... end

Sourcemodule Typedecl : sig ... end

Sourcemodule Typedecl_properties : sig ... end

Sourcemodule Typedecl_separability : sig ... end

The OCaml runtime assumes for type-directed optimizations that all types are "separable". A type is "separable" if either all its inhabitants (the values of this type) are floating-point numbers, or none of them are.

Sourcemodule Typedecl_variance : sig ... end

Sourcemodule Typedtree : sig ... end

Abstract syntax tree after typing

Sourcemodule Typemod : sig ... end

Type-checking of the module language and typed ast hooks

Sourcemodule Typemode : sig ... end

Sourcemodule Typeopt : sig ... end

Sourcemodule Types : sig ... end

Sourcemodule Typetexp : sig ... end

Sourcemodule Uniqueness_analysis : sig ... end

Sourcemodule Unit_info : sig ... end

This module centralize the handling of compilation files and their metadata.

Sourcemodule Untypeast : sig ... end

Sourcemodule Value_rec_check : sig ... end

module Value_rec_types : sig ... end

Types related to the compilation of value let-recs (non-functional recursive definitions)

Sourcemodule Vicuna_traverse_typed_tree : sig ... end

Sourcemodule Vicuna_value_shapes : sig ... end

This file defines a representation of the runtime shapes of OCaml values. These shapes are different from (and unrelated to) the shapes defined in typing/shape.mli.

Sourcemodule Zero_alloc : sig ... end

Module Ocaml_typingSource

Module `Ocaml_typing`Source