Interface DerivationResult

Complete or bounded-partial derivation output.

interface DerivationResult {
    diagnostics: readonly Diagnostic[];
    history?: readonly (readonly ModuleSymbol[])[];
    randomState: number;
    statistics: DerivationStatistics;
    word: readonly ModuleSymbol[];
}

Index

Properties

diagnostics history? randomState statistics word

Properties

`Readonly`diagnostics

diagnostics: readonly Diagnostic[]

`Optional` `Readonly`history

history?: readonly (readonly ModuleSymbol[])[]

`Readonly`randomState

randomState: number

`Readonly`statistics

statistics: DerivationStatistics

`Readonly`word

word: readonly ModuleSymbol[]