Module Smt.SuidSource

Sourcetype t = private string

This module is intended to generate valid SMTLib2 short identifiers Are valid any non-empty sequence of letters, digits and the characters ~ ! @ $ % ^ & * _ - + < > . ? / that does not start with a digit To never clash with reserved keywords, generated identifiers always start with one of the special characters

Sourceval to_string : t -> string
Sourceval pp : Format.formatter -> t -> unit
Sourceval zero : t
Sourceval incr : t -> t