Struct Forall 

pub struct Forall<'tree> {
    pub span: Span,
    pub constraint: Option<Constraints<'tree>>,
    pub quantifier: ForallQuantifier,
    pub type: Option<QuantifiedType<'tree>>,
    pub variables: Option<QuantifiedVariables<'tree>>,
}

Fields

span: Span

constraint: Option<Constraints<'tree>>

quantifier: ForallQuantifier

type: Option<QuantifiedType<'tree>>

variables: Option<QuantifiedVariables<'tree>>

Trait Implementations

impl<'tree> Clone for Forall<'tree>

fn clone(&self) -> Forall<'tree>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tree> Debug for Forall<'tree>

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

Formats the value using the given formatter.

impl<'tree> Eq for Forall<'tree>

impl<'tree> FromNode<'tree> for Forall<'tree>

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

impl<'tree> PartialEq for Forall<'tree>

fn eq(&self, other: &Forall<'tree>) -> bool

Equality operator ==.

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

Inequality operator !=.

impl Spanned for Forall<'_>

fn span(&self) -> Span

fn start(&self) -> Point

fn end(&self) -> Point

impl<'tree> StructuralPartialEq for Forall<'tree>