Skip to content
  • Pietro Abate's avatar
    Make fresh variables really fresh · c9ad3e5c
    Pietro Abate authored
    Add a global variable table, so when we call "Var.mk id" twice, the
    same variable is returned and when we call "Var.fresh v" we always
    return a truly globally fresh variable.
    c9ad3e5c