`type instr_index`````
`include Node with type t = InferIR.Procdesc.Node.t * instr_index and type id = InferIR.Procdesc.Node.id * instr_index`
`type t``= InferIR.Procdesc.Node.t * instr_index```
`type id``= InferIR.Procdesc.Node.id * instr_index```
`val kind : t ‑> InferIR.Procdesc.Node.nodekind`
`val id : t ‑> id`
`val hash : t ‑> int`
`val loc : t ‑> InferBase.Location.t`
`val underlying_node : t ‑> InferIR.Procdesc.Node.t`
`val of_underlying_node : InferIR.Procdesc.Node.t ‑> t`
`val compare_id : id ‑> id ‑> int`
`val pp_id : Format.formatter ‑> id ‑> unit`
`module IdMap : InferStdlib.PrettyPrintable.PPMap with type PPMap.key = id`
`module IdSet : InferStdlib.PrettyPrintable.PPSet with type PPSet.elt = id`