site/node_modules/speech-rule-engine/js/enrich_mathml/case_proof.d.ts

9 lines
321 B
TypeScript
Raw Permalink Normal View History

2024-10-14 06:09:33 +00:00
import { SemanticNode } from '../semantic_tree/semantic_node';
import { AbstractEnrichCase } from './abstract_enrich_case';
export declare class CaseProof extends AbstractEnrichCase {
mml: Element;
static test(semantic: SemanticNode): boolean;
constructor(semantic: SemanticNode);
getMathml(): Element;
}