Interface InteractiveTermGoal

interface InteractiveTermGoal {
    ctx?: ContextInfo;
    hyps: InteractiveHypothesisBundle[];
    range?: Range;
    term?: TermInfo;
    type: CodeWithInfos;
}

Hierarchy (View Summary)

InteractiveGoalCore
- InteractiveTermGoal

Index

Properties

ctx? hyps range? term? type

Properties

`Optional`ctx

ctx?: ContextInfo

Present since server version 1.1.2.

hyps

hyps: InteractiveHypothesisBundle[]

`Optional`range

range?: Range

`Optional`term

term?: TermInfo

Present since server version 1.1.2.

type

type: CodeWithInfos