Zee3.Smt2.Symbol
(zee3 v0.3.0)
Copy Markdown
Module to represent Z3 string literals.
Summary
Types
@type t() :: %Zee3.Smt2.Symbol{value: term()}
Module to represent Z3 string literals.
@type t() :: %Zee3.Smt2.Symbol{value: term()}