Module Expr.InstrInfo

type t
val witness : t
val with_location : t -> t
val is_inline : t -> bool
val var_info_of_ii : t -> var_info