let rec get' (subst: subst) (var: Var.var) (offset: int) : term option =
  match subst with
    | [] ->
        None

    | binding :: tail ->
        if 
          (offset == binding.sb_var.sv_offset)
          &&
          (Var.equal var binding.sb_var.sv_var)
        then
          Some binding.sb_term
        else
          get' tail var offset