Function bindIn

src/compute-engine/rubi/match.ts:91–103

(
  env: Env,
  name: string,
  value: Expression,
  k: () => boolean
)

  }
  return envs;
}

function bindIn(
  env: Env,
  name: string,
  value: Expression,
  k: () => boolean
): boolean {
  const bound = env.get(name);
  if (bound !== undefined) return bound.isSame(value) && k();
  env.set(name, value);
  if (k()) return true;
  env.delete(name);
  return false;
}