Type Definition isla_lib::executor::TraceQueue

type TraceQueue<B> = SegQueue<Result<(usize, Vec<Event<B>>), String>>;