Function varisat::variables::set_sampling_mode

pub fn set_sampling_mode<'a>(
    ctx: Mut<VariablesP, Mut<SolverStateP, Mut<ProofP<'a>, Ref<Context<'a>>>>>, 
    global: Var, 
    mode: SamplingMode
) -> Option<Var>

Changes the sampling mode of a global variable.

If the mode is changed to hidden, an existing user mapping is automatically removed.

If the mode is changed from hidden, a new user mapping is allocated and the user variable is returned.