Cubicle 1.1.2 documentation and source : Solver.Make.save

let save () = 
  { 
    env = copy env;
    st_cpt_mk_var = !Solver_types.cpt_mk_var;
    st_ma = !Solver_types.ma;
  }