| 1 | import type Spec from './Spec';
|
| 2 | import type Import from './Import';
|
| 3 | import type Clause from './Clause';
|
| 4 | import type { ClauseNumberIterator } from './clauseNums';
|
| 5 | export interface Context {
|
| 6 | spec: Spec;
|
| 7 | node: HTMLElement;
|
| 8 | importStack: Import[];
|
| 9 | clauseStack: Clause[];
|
| 10 | tagStack: HTMLElement[];
|
| 11 | clauseNumberer: ClauseNumberIterator;
|
| 12 | inNoAutolink: boolean;
|
| 13 | inNoEmd: boolean;
|
| 14 | inAlg: boolean;
|
| 15 | followingEmd: Node | null;
|
| 16 | currentId: string | null;
|
| 17 | }
|