Struct UserSynonymDecl 

pub struct UserSynonymDecl {
    pub name: String,
    pub params: Vec<String>,
    pub body: TypeExpr,
}

A user type synonym declaration (type point = length * length), surfaced in parallel with UserTypeDecl — see that struct’s doc comment; the body is kept as a raw CST TypeExpr for the same reason. typecheck::build_synonym_decl is where it is actually lowered to a MonoType template, and typecheck::expand_synonyms is where a reference to name elsewhere is transparently replaced by it.

Fields

name: String

params: Vec<String>

Type-parameter names, in declaration order. Only the zero-param case is reachable through a use of the synonym today — see cst::ast::TypeAtom’s doc comment (no applied-type-constructor syntax exists to instantiate one) — but parsing/storing params keeps this declaration-side path symmetric with UserTypeDecl.

body: TypeExpr

Trait Implementations

impl Clone for UserSynonymDecl

fn clone(&self) -> UserSynonymDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UserSynonymDecl

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

Formats the value using the given formatter.