Interface InteractiveGoalCore

interface InteractiveGoalCore {
    ctx?: ContextInfo;
    hyps: InteractiveHypothesisBundle[];
    type: CodeWithInfos;
}

Hierarchy (View Summary)

InteractiveGoalCore
- InteractiveGoal
- InteractiveTermGoal

Index

Properties

Properties

`Optional`ctx

ctx?: ContextInfo

Present since server version 1.1.2.

hyps

hyps: InteractiveHypothesisBundle[]

type

type: CodeWithInfos