Function varisat::clause::db::set_clause_tier

pub fn set_clause_tier(
    ctx: Mut<ClauseDbP, Mut<ClauseAllocP, Ref<Context>>>, 
    cref: ClauseRef, 
    tier: Tier
)

Change the tier of a long clause.

This is a noop for a clause already of the specified tier.