Module Hax_engine.Concrete_ident

type t
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val equal : t -> t -> Ppx_deriving_runtime.bool
include Ppx_yojson_conv_lib.Yojsonable.S with type t := t
val t_of_yojson : Yojson.Safe.t -> t
val yojson_of_t : t -> Yojson.Safe.t
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
include Ppx_hash_lib.Hashable.S with type t := t
val hash_fold_t : t Base__Ppx_hash_lib.hash_fold
val hash : t -> Base__Ppx_hash_lib.Std.Hash.hash_value
val pp_name : Ppx_deriving_runtime.Format.formatter -> name -> Ppx_deriving_runtime.unit
val show_name : name -> Ppx_deriving_runtime.string
val equal_name : name -> name -> Ppx_deriving_runtime.bool
val yojson_of_name : name -> Ppx_yojson_conv_lib.Yojson.Safe.t
val name_of_yojson : Ppx_yojson_conv_lib.Yojson.Safe.t -> name
val compare_name : name -> name -> int
val sexp_of_name : name -> Sexplib0.Sexp.t
val name_of_sexp : Sexplib0.Sexp.t -> name
val hash_fold_name : Ppx_hash_lib.Std.Hash.state -> name -> Ppx_hash_lib.Std.Hash.state
val hash_name : name -> Ppx_hash_lib.Std.Hash.hash_value
module ImplInfoStore : sig ... end
module Kind : sig ... end
val of_def_id : Kind.t -> Types.def_id -> t
val of_name : Kind.t -> name -> t
val eq_name : name -> t -> bool
val to_debug_string : t -> string
module Create : sig ... end
type view = {
  1. crate : string;
  2. path : string list;
  3. definition : string;
}
val map_path_strings : f:(string -> string) -> t -> t
val matches_namespace : Types.namespace -> t -> bool
include sig ... end
include sig ... end
module type NAME_POLICY = sig ... end
module type VIEW_API = sig ... end
type comparator_witness
val comparator : (t, comparator_witness) Base.Comparator.comparator
val lookup_raw_impl_info : t -> Types.impl_infos option

Lookup the (raw1) implementation informations given a concrete ident. Returns `Some _` if and only if the supplied identifier points to an `Impl`.

1: those are raw THIR types.

WARNING: due to issue 363, when looking up certain identifiers generated by the engine, this function may return None even though the supplied identifier points to an Impl block.

val parent_impl : t -> t option

Returns the identifier pointing to the parent `impl` block, if it exists.