package binsec

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type 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

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