11 lines
348 B
TypeScript
11 lines
348 B
TypeScript
|
import { BaseItem, CheckType, StackItem } from '../StackItem.js';
|
||
|
|
import { MmlNode } from '../../../core/MmlTree/MmlNode.js';
|
||
|
|
export declare class ProofTreeItem extends BaseItem {
|
||
|
|
leftLabel: MmlNode[];
|
||
|
|
rigthLabel: MmlNode[];
|
||
|
|
private innerStack;
|
||
|
|
get kind(): string;
|
||
|
|
checkItem(item: StackItem): CheckType;
|
||
|
|
toMml(): MmlNode;
|
||
|
|
}
|