Struct Program 

pub struct Program<'s> {
    pub type_decls: Vec<UserTypeDecl>,
    pub synonym_decls: Vec<UserSynonymDecl>,
    pub body: Ast<'s>,
    pub store: &'s SymbolStore,
}

The result of elaborating a whole file: every type declaration it surfaced (in source order — a later declaration may reference an earlier one, or itself, since variant types are nominal; see typecheck::build_variant_decl), every type synonym it surfaced (see typecheck::build_synonym_decl), plus the elaborated document body.

Fields

type_decls: Vec<UserTypeDecl>

synonym_decls: Vec<UserSynonymDecl>

body: Ast<'s>

store: &'s SymbolStore

The interner every identifier in body was minted from. Carried on the program itself (rather than passed alongside it) so that the downstream passes — typecheck, v1::module_check, and the compile membrane — keep their existing one-argument signatures and cannot be handed a program and a store that don’t belong together.

Trait Implementations

impl<'s> Clone for Program<'s>

fn clone(&self) -> Program<'s>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'s> Debug for Program<'s>

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

Formats the value using the given formatter.