Imp.Observability.ProgressSubscription (Imp v0.12.1)

Copy Markdown View Source

Handle returned by Imp.Observability.subscribe_optimizer/1.