Function varisat::variables::new_user_var

pub fn new_user_var<'a>(
    ctx: Mut<VariablesP, Mut<SolverStateP, Mut<ProofP<'a>, Ref<Context<'a>>>>>
) -> Var

Allocates a currently unused user variable.

This is either a user variable above any user variable used so far, or a user variable that was previously hidden by the user.