Enum ForallRequiredQuantifier 

pub enum ForallRequiredQuantifier {
    Forall(Span),
    X(Span),
}

Variants

Forall(Span)

X(Span)

Trait Implementations

impl Clone for ForallRequiredQuantifier

fn clone(&self) -> ForallRequiredQuantifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ForallRequiredQuantifier

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

Formats the value using the given formatter.

impl Eq for ForallRequiredQuantifier

impl<'tree> FromNode<'tree> for ForallRequiredQuantifier

fn from_node(node: Node<'tree>, _src: &'tree [u8]) -> Result<Self, ParseError>

impl PartialEq for ForallRequiredQuantifier

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

Equality operator ==.

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

Inequality operator !=.

impl Spanned for ForallRequiredQuantifier

fn span(&self) -> Span

fn start(&self) -> Point

fn end(&self) -> Point

impl StructuralPartialEq for ForallRequiredQuantifier