quint icon indicating copy to clipboard operation
quint copied to clipboard

Support removing definitions in REPL

Open konnov opened this issue 1 year ago • 1 comments

@andrey-kuprianov had a great suggestion for extending .clear with the following logic:

...it would be nice to have .clear [def] i.e. the possibility to provide an optional 1 definition to clear; otherwise clear everything

konnov avatar Apr 12 '23 11:04 konnov

I'd rather just support shadowing.

shonfeder avatar Jan 09 '24 19:01 shonfeder