AltErgoLib.Var
val of_string : string -> t
val hash : t -> int
val print : Stdlib.Format.formatter -> t -> unit
val to_string : t -> string
Reinitializes the counter to the saved value with save_cnt
, 1 if no value is saved, since after the initialization of the modules cnt
is set to 1 when initializing the underscore
constant in the Symbols module