pub enum FieldOrIndex {
Field(Field_),
Index(SpecExp),
}
Expand description
AST for the Move Prover specification language.
Variants§
Trait Implementations§
source§impl Clone for FieldOrIndex
impl Clone for FieldOrIndex
source§fn clone(&self) -> FieldOrIndex
fn clone(&self) -> FieldOrIndex
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl Debug for FieldOrIndex
impl Debug for FieldOrIndex
source§impl PartialEq<FieldOrIndex> for FieldOrIndex
impl PartialEq<FieldOrIndex> for FieldOrIndex
source§fn eq(&self, other: &FieldOrIndex) -> bool
fn eq(&self, other: &FieldOrIndex) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.