Function varisat::clause::db::add_clause

pub fn add_clause(
    ctx: Mut<WatchlistsP, Mut<ClauseDbP, Mut<ClauseAllocP, Ref<Context>>>>, 
    header: ClauseHeader, 
    lits: &[Lit]
) -> ClauseRef

Add a long clause to the database.