Function varisat::clause::activity::decay_clause_activities

pub fn decay_clause_activities(
    ctx: Mut<ClauseDbP, Mut<ClauseAllocP, Mut<ClauseActivityP, Ref<Context>>>>
)

Decay the clause activities.