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