Function varisat::variables::observe_internal_vars

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

Turns all hidden vars into witness vars and returns them.