pub enum BindInstantiation {
ProgramInstantiation(Box<ProgramInstantiation>),
ModuleInstantiation(Box<ModuleInstantiation>),
InterfaceInstantiation(Box<InterfaceInstantiation>),
CheckerInstantiation(Box<CheckerInstantiation>),
}
Variants§
ProgramInstantiation(Box<ProgramInstantiation>)
ModuleInstantiation(Box<ModuleInstantiation>)
InterfaceInstantiation(Box<InterfaceInstantiation>)
CheckerInstantiation(Box<CheckerInstantiation>)
Trait Implementations§
source§impl Clone for BindInstantiation
impl Clone for BindInstantiation
source§fn clone(&self) -> BindInstantiation
fn clone(&self) -> BindInstantiation
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 BindInstantiation
impl Debug for BindInstantiation
source§impl<'a> From<&'a BindInstantiation> for RefNode<'a>
impl<'a> From<&'a BindInstantiation> for RefNode<'a>
source§fn from(x: &'a BindInstantiation) -> Self
fn from(x: &'a BindInstantiation) -> Self
Converts to this type from the input type.
source§impl<'a> From<&'a BindInstantiation> for RefNodes<'a>
impl<'a> From<&'a BindInstantiation> for RefNodes<'a>
source§fn from(x: &'a BindInstantiation) -> Self
fn from(x: &'a BindInstantiation) -> Self
Converts to this type from the input type.
source§impl From<BindInstantiation> for AnyNode
impl From<BindInstantiation> for AnyNode
source§fn from(x: BindInstantiation) -> Self
fn from(x: BindInstantiation) -> Self
Converts to this type from the input type.
source§impl<'a> IntoIterator for &'a BindInstantiation
impl<'a> IntoIterator for &'a BindInstantiation
source§impl PartialEq<BindInstantiation> for BindInstantiation
impl PartialEq<BindInstantiation> for BindInstantiation
source§fn eq(&self, other: &BindInstantiation) -> bool
fn eq(&self, other: &BindInstantiation) -> bool
This method tests for
self
and other
values to be equal, and is used
by ==
.