Function varisat::model::reconstruct_global_model

pub fn reconstruct_global_model<'a>(
    ctx: Const<VariablesP, Const<AssignmentP, Mut<TmpDataP, Mut<SolverStateP, Mut<ProofP<'a>, Mut<ModelP, Ref<Context<'a>>>>>>>>
)