Module Ocaml_typing.Short_paths_graphSource

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

The only structures shared with the typechecker are Ident.t and Path.t. Graph.t is pure and doesn't hook into the Env.t. Context has to be rebuilt by outside code using Graph.add.

Sourcemodule String_map : Map.S with type key = string
Sourcemodule Ident : sig ... end
Sourcemodule Ident_map : Map.S with type key = Ident.t
Sourcemodule Ident_set : Set.S with type elt = Ident.t
Sourcemodule Path : sig ... end
Sourcemodule Path_map : Map.S with type key = Path.t
Sourcemodule Path_set : Set.S with type elt = Path.t
Sourcemodule Desc : sig ... end
Sourcemodule Sort : sig ... end
Sourcemodule Origin : sig ... end
Sourcetype graph
Sourcemodule Type : sig ... end
Sourcemodule Class_type : sig ... end
Sourcemodule Module_type : sig ... end
Sourcemodule Module : sig ... end
Sourcemodule Diff : sig ... end
Sourcemodule Component : sig ... end
Sourcemodule Graph : sig ... end