`module F = Format`
`type call````=`

`|` `Direct of InferIR.Typ.Procname.t`
`|` `Indirect of InferIR.AccessExpression.t`

``

type of a procedure call; either direct or via function pointer

`include sig ... end`
`val compare_call : call ‑> call ‑> int`
`type t````=`

`|` `Assign of InferIR.AccessExpression.t * InferIR.HilExp.t * InferBase.Location.t` | (** LHS access expression, RHS expression *)
`|` `Assume of InferIR.HilExp.t * [ `Then | `Else ] * InferIR.Sil.if_kind * InferBase.Location.t` | (** Assumed expression, true_branch boolean, source of the assume (conditional, ternary, etc.) *)
`|` `Call of InferIR.AccessPath.base * call * InferIR.HilExp.t list * InferIR.CallFlags.t * InferBase.Location.t` | (** Var to hold the return, call expression, formals *)

``
`include sig ... end`
`val compare : t ‑> t ‑> int`
`val pp : F.formatter ‑> t ‑> unit`
`type translation````=`

`|` `Instr of t` | (** HIL instruction to execute *)
`|` `Bind of InferIR.Var.t * InferIR.AccessExpression.t` | (** add binding to identifier map *)
`|` `Unbind of InferIR.Var.t list` | (** remove binding from identifier map *)
`|` `Ignore` | (** no-op *)

``

Result of translating an SIL instruction

`val of_sil : include_array_indexes:bool ‑> f_resolve_id:(InferIR.Var.t ‑> InferIR.AccessExpression.t option) ‑> InferIR.Sil.instr ‑> translation`

convert an SIL instruction into an HIL instruction. The `f_resolve_id` function should map an SSA temporary variable to the access path it represents. Evaluating the HIL instruction should produce the same result as evaluating the SIL instruction and replacing the temporary variables using `f_resolve_id`.