Module Ocaml_typing.Short_paths

module Basis : sig ... end
type t
val initial : Basis.t -> t
val add : t -> Desc.t list Lazy.t -> t
type type_result =
  1. | Nth of int
  2. | Path of int list option * Path.t
val find_type : t -> Path.t -> type_result
type type_resolution =
  1. | Nth of int
  2. | Subst of int list
  3. | Id
val find_type_resolution : t -> Path.t -> type_resolution
val find_type_simple : t -> Path.t -> Path.t
type class_type_result = int list option * Path.t
val find_class_type : t -> Path.t -> class_type_result
val find_class_type_simple : t -> Path.t -> Path.t
val find_module_type : t -> Path.t -> Path.t
val find_module : t -> Path.t -> Path.t