Module Hax_engine.Concrete_ident_view

include module type of Concrete_ident_view_types
type disambiguator = Hax_engine.Prelude.Int64.t

A Int64.t disambiguator: this is given by Rust.

val pp_disambiguator : Ppx_deriving_runtime.Format.formatter -> disambiguator -> Ppx_deriving_runtime.unit
val show_disambiguator : disambiguator -> Ppx_deriving_runtime.string
val equal_disambiguator : disambiguator -> disambiguator -> Ppx_deriving_runtime.bool
val map_disambiguator : 'a -> 'b
val compare_disambiguator : disambiguator -> disambiguator -> Prelude.int
val disambiguator_of_sexp : Sexplib0.Sexp.t -> disambiguator
val sexp_of_disambiguator : disambiguator -> Sexplib0.Sexp.t
val hash_fold_disambiguator : Ppx_hash_lib.Std.Hash.state -> disambiguator -> Ppx_hash_lib.Std.Hash.state
val hash_disambiguator : disambiguator -> Ppx_hash_lib.Std.Hash.hash_value
module DisambiguatedString : sig ... end

A string with a disambiguator.

module ModPath : sig ... end

A "module and crate"-only path. This is the longest `mod` suffix of a definition identifier path. This is a list of disambiguated strings.

module RelPath : sig ... end

A relational path is a path composed of relational chunks.

type t = {
  1. mod_path : ModPath.t;
  2. rel_path : RelPath.t;
}

Invariant: name_path is non-empty

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
val compare : t -> t -> Prelude.int
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val hash_fold_t : Ppx_hash_lib.Std.Hash.state -> t -> Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
val of_def_id : Explicit_def_id.t -> t

Computes a view for an explicit definition identifier.