Enum move_lang::parser::ast::QuantKind_

pub enum QuantKind_ {
    Forall,
    Exists,
    Choose,
    ChooseMin,
}

Variants

Forall

Exists

Choose

ChooseMin

Trait Implementations

impl AstDebug for QuantKind_

fn ast_debug(&self, w: &mut AstWriter)

impl Clone for QuantKind_

fn clone(&self) -> QuantKind_

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for QuantKind_

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

Formats the value using the given formatter.

impl PartialEq<QuantKind_> for QuantKind_

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

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

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

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

impl Copy for QuantKind_

impl Eq for QuantKind_

impl StructuralEq for QuantKind_

impl StructuralPartialEq for QuantKind_