Struct z3tracer::syntax::Ident [−][src]
Expand description
An identifier such as #45
or foo#23
.
- Namespace-only identifiers such
as
foo#
are also allowed for Z3 primitive objects. #
is used for true and false literals.- An implicit version number is added to disambiguate identifiers re-used by Z3.
Fields
namespace: Option<String>
id: Option<u64>
version: usize
Implementations
Whether an identifier is the special builtin value.
Trait Implementations
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
Auto Trait Implementations
impl RefUnwindSafe for Ident
impl UnwindSafe for Ident
Blanket Implementations
Mutably borrows from an owned value. Read more