-(* resets internal couenters. this is an hack used in matitaScript.
- * if you are in the middle of a script (with an history you may use to undo
- * with some notations id inside) and you want to compile an external file
- * in an empty environment you need, after its compilation, to restore
- * the previous environment (re-executing all notations commands) and this must
- * produce the same ids as before, otherwise history is wrong. *)
- val reset: unit -> unit