SymbolDefinition: BaseDefinition & Partial<SymbolAttributes> & {
    domain?: DomainLiteral | BoxedDomain;
    flags?: Partial<NumericFlags>;
    inferred?: boolean;
    value?: LatexString | SemiBoxedExpression | ((ce: IComputeEngine) => SemiBoxedExpression | null);
}

A bound symbol (i.e. one with an associated definition) has either a domain (e.g. ∀ x ∈ ℝ), a value (x = 5) or both (π: value = 3.14... domain = TranscendentalNumbers)

Type declaration