Imp.Observability.ProgressSubscription (Imp v0.12.3)

Copy Markdown View Source

Handle returned by Imp.Observability.subscribe_optimizer/1.