Type Definition mop_common_defs::SolverFuture

type SolverFuture<'a> = Pin<Box<dyn Future<Output = ()> + 'a>>;