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