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