Ocaml_typing.Short_paths_graphShort_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 : Map.S with type key = stringmodule Ident : sig ... endmodule Path : sig ... endmodule Desc : sig ... endmodule Sort : sig ... endmodule Dependency : 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