Module Ocaml_typing.Short_paths_graph
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.
module String_map : Stdlib.Map.S with type key = stringmodule Ident : sig ... endmodule Ident_map :
Stdlib.Map.S with type key = Ocaml_typing.Short_paths_graph.Ident.tmodule Ident_set :
Stdlib.Set.S with type elt = Ocaml_typing.Short_paths_graph.Ident.tmodule Path : sig ... endmodule Path_map :
Stdlib.Map.S with type key = Ocaml_typing.Short_paths_graph.Path.tmodule Path_set :
Stdlib.Set.S with type elt = Ocaml_typing.Short_paths_graph.Path.tmodule Desc : sig ... endmodule Sort : sig ... endmodule Age : Ocaml_typing.Natural.Smodule Dependency : Ocaml_typing.Natural.Smodule Origin : sig ... endmodule Type : sig ... endmodule Class_type : sig ... endmodule Module_type : sig ... endmodule Module : sig ... endmodule Diff : sig ... endmodule Component : sig ... endmodule Graph : sig ... end