Function varisat::variables::global_from_user

pub fn global_from_user<'a>(
    ctx: Mut<VariablesP, Mut<SolverStateP, Mut<ProofP<'a>, Ref<Context<'a>>>>>, 
    user: Var, 
    require_sampling: bool
) -> Var

Maps a user variable into a global variable.

If no matching global variable exists a new global variable is allocated.