Function varisat::clause::db::delete_clause

pub fn delete_clause(
    ctx: Mut<WatchlistsP, Mut<ClauseDbP, Mut<ClauseAllocP, Ref<Context>>>>, 
    cref: ClauseRef
)

Delete a long clause from the database.