Module Debuginfo.Scoped_location

type scope_item =
  1. | Sc_anonymous_function
  2. | Sc_value_definition of string
  3. | Sc_module_definition of string
  4. | Sc_class_definition of string
  5. | Sc_method_definition of string
type scopes = scope_item list
val string_of_scope_item : scope_item -> string
val string_of_scopes : scopes -> string
val enter_anonymous_function : scopes:scopes -> scopes
val enter_value_definition : scopes:scopes -> Ident.t -> scopes
val enter_module_definition : scopes:scopes -> Ident.t -> scopes
val enter_class_definition : scopes:scopes -> Ident.t -> scopes
val enter_method_definition : scopes:scopes -> Asttypes.label -> scopes
type t =
  1. | Loc_unknown
  2. | Loc_known of {
    1. loc : Location.t;
    2. scopes : scopes;
    }
val of_location : scopes:scopes -> Location.t -> t
val to_location : t -> Location.t
val string_of_scoped_location : t -> string