chop-logic-core/lib/tokenizer/index.d.ts

Core classes, methods and functions for calculating logical formulas and constructing proofs within the Chop Logic project.

/**
 * Main tokenization functionality for parsing logical expressions.
 * @packageDocumentation
 * @module Tokenizer
 */
export { getGlyphUnicode } from "./get-glyph-unicode";
export { getOperatorGlyph } from "./get-operator-glyph";
export { tokenizeString } from "./tokenize-string";