Struct leo_ast::common::variables::Variables

pub struct Variables {
    pub names: Vec<VariableName>,
    pub type_: Option<Type>,
}

A variable that is assigned to a value in the constrained program

Fields

names: Vec<VariableName>

type_: Option<Type>

Trait Implementations

impl Clone for Variables

pub fn clone(&self) -> Variables

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'de> Deserialize<'de> for Variables

pub fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error> where
    __D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Display for Variables

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for Variables

impl<'ast> From<Variables<'ast>> for Variables

pub fn from(variables: GrammarVariables<'ast>) -> Self

Performs the conversion.

impl PartialEq<Variables> for Variables

pub fn eq(&self, other: &Variables) -> bool

This method tests for self and other values to be equal, and is used by ==.

pub fn ne(&self, other: &Variables) -> bool

This method tests for !=.

impl Serialize for Variables

pub fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error> where
    __S: Serializer, 

Serialize this value into the given Serde serializer.

impl StructuralEq for Variables

impl StructuralPartialEq for Variables