Constant biodivine_sketchbook::sketchbook::observations::_manager::_impl_session_state::PUSH_OBS_PATH

const PUSH_OBS_PATH: &str = "push_obs";