Struct Quantifier 

pub struct Quantifier {
    pub name: String,
    pub binder_type: QuantifierType,
}

A universally-quantified variable in a law theorem. Carries enough type info for backends to render the binder correctly ((a : Natural) for refined Int, (a : Int) for plain int, (rng : RandomIntInBounds) for oracle).

Fields

name: String

binder_type: QuantifierType

Trait Implementations

impl Clone for Quantifier

fn clone(&self) -> Quantifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Quantifier

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

Formats the value using the given formatter.