Enum move_lang::parser::ast::SpecBlockMember_
source · pub enum SpecBlockMember_ {
Condition {
kind: SpecConditionKind,
properties: Vec<PragmaProperty>,
exp: Exp,
additional_exps: Vec<Exp>,
},
Function {
uninterpreted: bool,
name: FunctionName,
signature: FunctionSignature,
body: FunctionBody,
},
Variable {
is_global: bool,
name: Name,
type_parameters: Vec<(Name, Vec<Ability>)>,
type_: Type,
},
Let {
name: Name,
post_state: bool,
def: Exp,
},
Include {
properties: Vec<PragmaProperty>,
exp: Exp,
},
Apply {
exp: Exp,
patterns: Vec<SpecApplyPattern>,
exclusion_patterns: Vec<SpecApplyPattern>,
},
Pragma {
properties: Vec<PragmaProperty>,
},
}
Variants§
Trait Implementations§
source§impl Clone for SpecBlockMember_
impl Clone for SpecBlockMember_
source§fn clone(&self) -> SpecBlockMember_
fn clone(&self) -> SpecBlockMember_
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 SpecBlockMember_
impl Debug for SpecBlockMember_
source§impl PartialEq<SpecBlockMember_> for SpecBlockMember_
impl PartialEq<SpecBlockMember_> for SpecBlockMember_
source§fn eq(&self, other: &SpecBlockMember_) -> bool
fn eq(&self, other: &SpecBlockMember_) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.