chop-logic-core/lib/tokenizer/get-glyph-unicode.d.ts

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

import { GlyphUnicode } from "../enums";
/**
 * Converts a given logical glyph character into its corresponding Unicode representation.
 *
 * @param char - A string representing a logical glyph (e.g., '=>', '&', '|', '~', etc.).
 * @returns The corresponding Unicode character from the `GlyphUnicode` enum.
 * @throws {Error} If the character is not a recognized {@link Glyph}.
 */
export declare function getGlyphUnicode(char: string): GlyphUnicode;