package rocq-runtime
Parameter MakeObservable.Obs
val stage : Stage.tWhether the list of active observers is process-local. Unlike ref ~local this doesn't matter for marshalling since observers apply indirection to be always marshallable.