`type t``= InferModules.ProcCfg.Normal.Node.t```
`type id``= InferModules.ProcCfg.Normal.Node.id```
`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 : sig ... end`
`module IdSet : sig ... end`