Ocaml_typing
Sourcemodule Annot : sig ... end
cmt and cmti files format.
Support for creating fresh types isomorphic to the natural numbers
module Outcometree : sig ... end
Shapes are an abstract representation of modules' implementations which allow the tracking of definitions through functor applications and other module-level operations.
Short_path_graph
is a representation of the environment (as a graph, using Graph.t
) that is more suitable to answer short path queries.
Iterate on signature by syntactic group of items
Allows the implementation of typed tree inspection using open recursion
Immediacy status of a type
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.
module Value_rec_types : sig ... end
Types related to the compilation of value let-recs (non-functional recursive definitions)