Function varisat::clause::activity::bump_clause_activity

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

Increase a clause's activity.