Node (infer.UnitTests.AnalyzerTester.MakeTester.I.TransferFunctions.CFG.Node)

include Absint.ProcCfg.NodeCommonS with type t = IR.Procdesc.Node.t

type t = IR.Procdesc.Node.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

type id

val compare_id : id -> id -> int

val equal_id : id -> id -> bool

val kind : t -> IR.Procdesc.Node.nodekind

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

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

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

val to_instr : 
  Absint.ProcCfg.InstrNode.instr_index ->
  t ->
  Absint.ProcCfg.InstrNode.t