Struct NamedValueType 

pub struct NamedValueType { /* private fields */ }

Implementations

impl NamedValueType

pub fn new(idx: SymbolicIndex, value_type: ValueType) -> Self

pub fn as_exprs(&self) -> Vec<Expr>

Trait Implementations

impl AsAtoms for NamedValueType

fn as_atoms(&self) -> Vec<Atom>

impl Clone for NamedValueType

fn clone(&self) -> NamedValueType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for NamedValueType

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

Formats the value using the given formatter.

impl Parse<'_> for NamedValueType

fn parse(parser: Parser<'_>) -> Result<Self>

Attempts to parse Self from parser, returning an error if it could not be parsed.

impl PartialEq for NamedValueType

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for NamedValueType

impl StructuralPartialEq for NamedValueType