Function varisat_checker::clauses::add_clause

pub fn add_clause<'a>(
    ctx: Const<ClauseHasherP, Mut<VariablesP, Mut<TmpDataP, Mut<ProcessingP<'a>, Mut<CheckerStateP, Mut<ClausesP, Ref<Context<'a>>>>>>>>, 
    clause: &[Lit]
) -> Result<(), CheckerError>

Adds a clause to the checker.