Function varisat_checker::state::check_model_step

fn check_model_step<'a>(
    ctx: Const<VariablesP, Const<ClausesP, Const<CheckerStateP, Mut<ProcessingP<'a>, Ref<Context<'a>>>>>>, 
    model: &[Lit]
) -> Result<(), CheckerError>

Check a Model step