Struct TermPattern 

pub struct TermPattern {
    pub span: NodeSpan,
    pub kind: TermPatternKind,
}

Simplified pattern used inside a Term, and where it was written.

Same shape as the parser and canonical ASTs — a span beside a kind — so a reader matches on &p.kind.

Fields

span: NodeSpan

kind: TermPatternKind

Trait Implementations

impl Clone for TermPattern

fn clone(&self) -> TermPattern

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TermPattern

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

Formats the value using the given formatter.