Interface InteractiveGoal

interface InteractiveGoal {
    ctx?: ContextInfo;
    goalPrefix?: string;
    hyps: InteractiveHypothesisBundle[];
    isInserted?: boolean;
    isRemoved?: boolean;
    mvarId?: string;
    type: CodeWithInfos;
    userName?: string;
}