Up
–
imandra-base
»
Imandra_interactive
»
Undo
» Effect
Module
Undo.Effect
val
perform :
scope:
Opentelemetry
.Trace.scope option
->
snap
->
unit