void updt_params(params_ref const & p) override { m_ctx.updt_params(p); }
virtual void updt_params(params_ref const & p) { m_ctx.updt_params(p); }