BussproofsItems.d.ts 348 B

12345678910
  1. import { BaseItem, CheckType, StackItem } from '../StackItem.js';
  2. import { MmlNode } from '../../../core/MmlTree/MmlNode.js';
  3. export declare class ProofTreeItem extends BaseItem {
  4. leftLabel: MmlNode[];
  5. rigthLabel: MmlNode[];
  6. private innerStack;
  7. get kind(): string;
  8. checkItem(item: StackItem): CheckType;
  9. toMml(): MmlNode;
  10. }