Module `Absint__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

type t = IR.Procdesc.Node.t * instr_index
type id = IR.Procdesc.Node.id * instr_index

val kind : t -> IR.Procdesc.Node.nodekind
val id : t -> id
val hash : t -> int
val loc : t -> IBase.Location.t
val underlying_node : t -> IR.Procdesc.Node.t
val of_underlying_node : IR.Procdesc.Node.t -> t
val compare_id : id -> id -> int
val pp_id : Stdlib.Format.formatter -> id -> unit

module IdMap : IStdlib.PrettyPrintable.PPMap with type PPMap.key = id

module IdSet : IStdlib.PrettyPrintable.PPSet with type PPSet.elt = id

val compare : t -> t -> int
val to_instr : instr_index -> t -> t