jon.recoil.org

Module Ocaml_typing.Short_pathsSource

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