Struct QuantifiedNode 

pub struct QuantifiedNode {
    pub kind: QuantifierKind,
    pub bindings: Vec<ForBinding>,
    pub satisfies: AstNodeId,
    pub span: SourceSpan,
}

Quantified expression (some/every $x in expr satisfies expr).

Fields

kind: QuantifierKind

Quantifier kind (some or every).

bindings: Vec<ForBinding>

List of variable bindings.

satisfies: AstNodeId

Satisfies expression.

span: SourceSpan

Source location.

Implementations

impl QuantifiedNode

pub fn new( kind: QuantifierKind, bindings: Vec<ForBinding>, satisfies: AstNodeId, span: SourceSpan, ) -> Self

Trait Implementations

impl Clone for QuantifiedNode

fn clone(&self) -> QuantifiedNode

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for QuantifiedNode

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

Formats the value using the given formatter.