db.restore

db.restore recovers bindings of variables by reading db.VariableStack
cf. localVariables, restoreVariables,
    db.clear, db.where , debugMode



Nobuki Takayama 2020-11-24