Type Alias TForkLibrarySnapshot<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>

Serializable snapshot of a ForkLibrary. Contains arrays of fork records for each entity type.

type TForkLibrarySnapshot<
    TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord,
    TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord,
    TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord,
    TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord,
    TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord,
> = {
    arguments: TArgFork[];
    claims: TClaimFork[];
    expressions: TExprFork[];
    premises: TPremiseFork[];
    variables: TVarFork[];
}

Type Parameters

TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord
TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord
TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord
TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord
TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord

Index

Properties

arguments claims expressions premises variables

Properties

arguments

arguments: TArgFork[]

All argument fork records.

claims

claims: TClaimFork[]

All claim fork records.

expressions

expressions: TExprFork[]

All expression fork records.

premises

premises: TPremiseFork[]

All premise fork records.

variables

variables: TVarFork[]

All variable fork records.