DefaultNode (infer.Absint.ProcCfg.DefaultNode)

include NodeCommonS
  with type t = IR.Procdesc.Node.t
  with type id = IR.Procdesc.Node.id

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 = IR.Procdesc.Node.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 : InstrNode.instr_index -> t -> InstrNode.t