Enum Decl 

pub enum Decl {
    Val {
        kw: KwVal,
        stage: Option<BindStageV1>,
        name: BindName,
        quant: Vec<TypeVarTok>,
        colon: ColonTok,
        ty: TypeExpr,
    },
    ValHorzCmd {
        kw: KwVal,
        cmd: HorzCmdTok,
        quant: Vec<TypeVarTok>,
        colon: ColonTok,
        ty: TypeExpr,
    },
    ValVertCmd {
        kw: KwVal,
        cmd: VertCmdTok,
        quant: Vec<TypeVarTok>,
        colon: ColonTok,
        ty: TypeExpr,
    },
    TypeOpaque {
        kw: KwType,
        name: VarTok,
        cons: ConsTok,
        kind: KindV1,
    },
    Type {
        kw: KwType,
        binds: TypeBindsErasedV1,
    },
    Module {
        kw: KwModule,
        name: CtorTok,
        colon: ColonTok,
        sig_: Box<SigExpr>,
    },
    Signature {
        kw: KwSignature,
        name: CtorTok,
        eq: DefEqTok,
        sig_: Box<SigExpr>,
    },
    Include {
        kw: KwInclude,
        sig_: Box<SigExpr>,
    },
}

decl (parser_v1.mly:597-621) — one item of a sig … end body. NOT a root: no arm contains Decl; reached only through super::StructDeclV1, so SigExpr ↔ Decl never forms a rootless static sub-cycle (the shape cst.rs’s AppArgErased doc warns the engine rejects). Its recursion-bearing edges are plain DAG edges INTO roots: ty: TypeExpr (the same satellite→root shape as RecClauseV1.params: Vec<PatBot>) and sig_: Box<SigExpr>.

Deferred arms (parse errors): macro decls val \m : macro-type (:608-611), row quantifiers (rowquant, :631-633 — no ROWVAR token for this position yet).

Variants

Val

VAL PERSISTENT? EXACT_TILDE? bound_identifier quant COLON typ (:598-603; quant’s tyvar list :623-630 — val map 'a 'b : ('a -> 'b) -> …). The stage prefix is the decl-side twin of super::Bind::Value’s own stage field, with the same ordered-choice argument (see that arm’s doc comment).

Fields

kw: KwVal

stage: Option<BindStageV1>

name: BindName

quant: Vec<TypeVarTok>

colon: ColonTok

ty: TypeExpr

ValHorzCmd

VAL BACKSLASH_CMD quant COLON typ (:604-605). Plain HorzCmdTok — upstream uses the bare token, and program mode already lexes \cmd. Naming mirrors crate::cst::SigItem::ValHorzCmd.

Fields

kw: KwVal

cmd: HorzCmdTok

quant: Vec<TypeVarTok>

colon: ColonTok

ty: TypeExpr

ValVertCmd

VAL PLUS_CMD quant COLON typ (:606-607).

Fields

kw: KwVal

cmd: VertCmdTok

quant: Vec<TypeVarTok>

colon: ColonTok

ty: TypeExpr

TypeOpaque

TYPE LOWER CONS kind — an OPAQUE type (:612-613). Tried before the transparent Decl::Type: the two share the type name prefix and are told apart by :: vs =/tyvars (backtracking is two tokens deep, cheap).

Fields

kw: KwType

name: VarTok

cons: ConsTok

kind: KindV1

Type

TYPE bind_type — transparent type(s) (:614-615), sharing the grouped chain with SigExpr::WithType.

Fields

kw: KwType

binds: TypeBindsErasedV1

Module

MODULE UPPER COLON sigexpr (:616-617) — note : here (a decl constrains), vs :> on binds (a bind seals).

Fields

kw: KwModule

name: CtorTok

colon: ColonTok

sig_: Box<SigExpr>

Signature

SIGNATURE UPPER EXACT_EQ sigexpr (:618-619).

Fields

kw: KwSignature

name: CtorTok

eq: DefEqTok

sig_: Box<SigExpr>

Include

INCLUDE sigexpr (:620-621) — a decl-include includes a SIGNATURE (contrast super::Bind::Include, which includes a MODULE).

Fields

kw: KwInclude

sig_: Box<SigExpr>

Trait Implementations

impl Clone for Decl

fn clone(&self) -> Decl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Decl

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

Formats the value using the given formatter.

impl<__SyanMacro_Atom> Parse<__SyanMacro_Atom> for Decl

where __SyanMacro_Atom: Spanned + Clone, KwVal: Parse<__SyanMacro_Atom>, Option<BindStageV1>: Parse<__SyanMacro_Atom>, BindName: Parse<__SyanMacro_Atom>, Vec<TypeVarTok>: Parse<__SyanMacro_Atom>, ColonTok: Parse<__SyanMacro_Atom>, TypeExpr: Parse<__SyanMacro_Atom>, HorzCmdTok: Parse<__SyanMacro_Atom>, VertCmdTok: Parse<__SyanMacro_Atom>, KwType: Parse<__SyanMacro_Atom>, VarTok: Parse<__SyanMacro_Atom>, ConsTok: Parse<__SyanMacro_Atom>, KindV1: Parse<__SyanMacro_Atom>, TypeBindsErasedV1: Parse<__SyanMacro_Atom>, KwModule: Parse<__SyanMacro_Atom>, CtorTok: Parse<__SyanMacro_Atom>, Box<SigExpr>: Parse<__SyanMacro_Atom>, KwSignature: Parse<__SyanMacro_Atom>, DefEqTok: Parse<__SyanMacro_Atom>, KwInclude: Parse<__SyanMacro_Atom>,

type Error = ParseError<<__SyanMacro_Atom as Spanned>::Span>

Every error must be convertible to the universal one, so a field’s failure can become the enclosing type’s failure with no per-field where-predicate. Stating it HERE rather than at each derived impl is what keeps it out of the obligation graph: a per-field <FieldTy as Parse<Atom>>::Error: Into<…> predicate re-creates a projection cycle on a recursive field (E0275), which decycle’s bound-peeling does not break.

fn parse_stream<__SyanMacro_S: ParseStream<Atom = __SyanMacro_Atom>>( __syan_stream: &mut __SyanMacro_S, ) -> Result<Self, Self::Error>

Parse from a reborrowable stream.

fn parse(stream: impl IntoParseStream<Atom = Atom>) -> Result<Self, Self::Error>

Parse from anything that can become a stream — String, TokenStream, an existing stream.

fn attempt(self) -> Attempt<Self>

Wrap this value in Attempt, the atomic-parse marker: parsing an Attempt<Self> parses Self but rewinds the stream on failure (it requires Atom: Clone). This is the value constructor; value.attempt() is sugar for Attempt(value).

impl PartialEq for Decl

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Decl

impl<__SyanMacro_Atom> Unparse<__SyanMacro_Atom> for Decl

where KwVal: Unparse<__SyanMacro_Atom>, Option<BindStageV1>: Unparse<__SyanMacro_Atom>, BindName: Unparse<__SyanMacro_Atom>, Vec<TypeVarTok>: Unparse<__SyanMacro_Atom>, ColonTok: Unparse<__SyanMacro_Atom>, TypeExpr: Unparse<__SyanMacro_Atom>, HorzCmdTok: Unparse<__SyanMacro_Atom>, VertCmdTok: Unparse<__SyanMacro_Atom>, KwType: Unparse<__SyanMacro_Atom>, VarTok: Unparse<__SyanMacro_Atom>, ConsTok: Unparse<__SyanMacro_Atom>, KindV1: Unparse<__SyanMacro_Atom>, TypeBindsErasedV1: Unparse<__SyanMacro_Atom>, KwModule: Unparse<__SyanMacro_Atom>, CtorTok: Unparse<__SyanMacro_Atom>, Box<SigExpr>: Unparse<__SyanMacro_Atom>, KwSignature: Unparse<__SyanMacro_Atom>, DefEqTok: Unparse<__SyanMacro_Atom>, KwInclude: Unparse<__SyanMacro_Atom>,

fn unparse<__Syan_Emitter: Emitter<__SyanMacro_Atom>>( &self, __syan_sink: &mut __Syan_Emitter, ) -> Result<(), <__Syan_Emitter as Emitter<__SyanMacro_Atom>>::Error>