Module ProcCfg.InstrNode

type instr_index = int
include NodeCommonS with type t = IR.Procdesc.Node.t * instr_index and type id = IR.Procdesc.Node.id * instr_index
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 compare_id : id -> id -> int
val equal_id : id -> id -> bool
val id : t -> id
val loc : t -> IBase.Location.t
val underlying_node : t -> IR.Procdesc.Node.t
val of_underlying_node : IR.Procdesc.Node.t -> t
val pp_id : Stdlib.Format.formatter -> id -> unit
val equal : t -> t -> bool
val compare : t -> t -> int
val to_instr : instr_index -> t -> t