Module `Ocaml_typing.Short_paths`

module Desc = Ocaml_typing.Short_paths_graph.Desc

module Basis : sig ... end

type t

val initial : Ocaml_typing.Short_paths.Basis.t -> Ocaml_typing.Short_paths.t

val add : 
  Ocaml_typing.Short_paths.t ->
  Desc.t list Stdlib.Lazy.t ->
  Ocaml_typing.Short_paths.t

type type_result =

val find_type : 
  Ocaml_typing.Short_paths.t ->
  Ocaml_typing.Path.t ->
  Ocaml_typing.Short_paths.type_result

type type_resolution =

val find_type_resolution : 
  Ocaml_typing.Short_paths.t ->
  Ocaml_typing.Path.t ->
  Ocaml_typing.Short_paths.type_resolution

val find_type_simple : 
  Ocaml_typing.Short_paths.t ->
  Ocaml_typing.Path.t ->
  Ocaml_typing.Path.t

type class_type_result = int list option * Ocaml_typing.Path.t

val find_class_type : 
  Ocaml_typing.Short_paths.t ->
  Ocaml_typing.Path.t ->
  Ocaml_typing.Short_paths.class_type_result

val find_class_type_simple : 
  Ocaml_typing.Short_paths.t ->
  Ocaml_typing.Path.t ->
  Ocaml_typing.Path.t

val find_module_type : 
  Ocaml_typing.Short_paths.t ->
  Ocaml_typing.Path.t ->
  Ocaml_typing.Path.t

val find_module : 
  Ocaml_typing.Short_paths.t ->
  Ocaml_typing.Path.t ->
  Ocaml_typing.Path.t

Module Ocaml_typing.Short_paths