Constant biodivine_sketchbook::sketchbook::model::_model_state::_impl_session_state::FN_EVENT_PATH

const FN_EVENT_PATH: &str = "uninterpreted_fn";