Enum SpecTecProd 

pub enum SpecTecProd {
    Prod {
        bs: Vec<SpecTecBind>,
        g: SpecTecSym,
        e: SpecTecExp,
        prs: Vec<SpecTecPrem>,
    },
}

https://github.com/WebAssembly/spec/blob/9479f1d0760494a93fcc73f7cf94c211ac91eec7/spectec/src/backend-ast/print.ml#L211

Variants

Prod

Fields

bs: Vec<SpecTecBind>

g: SpecTecSym

e: SpecTecExp

prs: Vec<SpecTecPrem>

Trait Implementations

impl Debug for SpecTecProd

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

Formats the value using the given formatter.

impl Decode for SpecTecProd

fn decode<'a, I: Iterator<Item = &'a SExprItem>>( items: &mut Peekable<I>, ) -> Result<SpecTecProd>

Consumes zero or more S-expression items from the iterator to construct Self.

impl PartialEq for SpecTecProd

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

Tests for self and other values to be equal, and is used by ==.

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

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

impl StructuralPartialEq for SpecTecProd