Function uvls::smt::web_view_handler

pub async fn web_view_handler(
    state: Receiver<ConfigSource>,
    tx_ui: Sender<UIAction>,
    inlay_state: InlayHandler,
    inlay_source: InlaySource,
) -> Result<(), Box<dyn Error + Send + Sync>>

runs smt-analysis on configurations.