Function varisat::clause::db::try_delete_clause

pub fn try_delete_clause(
    ctx: Const<AssignmentP, Const<ImplGraphP, Mut<WatchlistsP, Mut<ClauseDbP, Mut<ClauseAllocP, Ref<Context>>>>>>, 
    cref: ClauseRef
) -> bool

Delete a long clause from the database unless it is asserting.

Returns true if the clause was deleted.