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

type Context<'t, P, C> = Context<Vec<OLit<'t, P, C>>>;