Type Definition cop::lean::search::Task[−][src]

type Task<'t, P, C> = Skipper<Offset<&'t Clause<Lit<P, C, usize>>>>;