Constant biodivine_sketchbook::sketchbook::model::_model_state::_impl_session_state::REFRESH_FNS_PATH

const REFRESH_FNS_PATH: &str = "get_uninterpreted_fns";