Module type `TypeErr.InstrRefT`

type t

val compare : t -> t -> int

val equal : t -> t -> bool

type generator

val create_generator : IR.Procdesc.Node.t -> generator
val gen : generator -> t
val get_node : t -> IR.Procdesc.Node.t
val hash : t -> int
val replace_node : t -> IR.Procdesc.Node.t -> t