The type for glyphs. A packed 63-bit integer, always unboxed.

The type is private to prevent construction of invalid values. Use of_uchar, Pool.intern, Pool.encode, empty, or space to create glyphs. The integer representation is readable (e.g. for storage in Bigarray); use unsafe_of_int when loading from external storage.

Note. The bit layout is not a stable serialization format across major versions.

The type for width calculation methods. Determines how grapheme cluster display widths are computed:

• `Unicode — full UAX #29 segmentation with ZWJ emoji composition. Use for correct emoji and flag rendering.
• `Wcwidth — grapheme boundary segmentation for rendering, but each grapheme's width is the sum of per-codepoint wcwidth-style widths. Use for legacy compatibility.
• `No_zwj — UAX #29 segmentation that forces a break after ZWJ (no emoji ZWJ sequences), but keeps the full grapheme-aware width logic (RI pairs, VS16, Indic virama).

The type for line terminator kinds.

• `LF — line feed (U+000A).
• `CR — carriage return (U+000D).
• `CRLF — the two-byte CR LF sequence.

empty is the empty glyph (0). It represents control characters, zero-width sequences, and U+0000. This is the only glyph for which is_empty is true.

space is the space glyph (U+0020, width 1). It is the default blank-cell content in terminal grids.

of_uchar u is a glyph for the single Unicode scalar u.

The result is empty for control or zero-width codepoints. Simple glyphs are stored directly in the packed integer with no pool allocation.

See also Pool.intern and Pool.encode.

is_empty g is true iff g is empty.

is_inline g is true iff g requires no pool lookup. Useful for skipping reference counting on simple glyphs.

is_start g is true iff g is the start of a character (simple or complex start).

is_continuation g is true iff g is a wide-character continuation placeholder. See make_continuation.

is_complex g is true iff g is pool-backed (complex start or complex continuation).

grapheme_width g is the full display width of the grapheme represented by g. For complex glyphs (start or continuation) the result is the total cluster width (1–4). For tab glyphs the result is tab_width.

tab_width defaults to 2.

See also cell_width.

cell_width g is the display width that g occupies in a single cell. The result is 0 for empty and continuation cells. For start cells, the result is the character's display width (1 for most characters, 2 for wide CJK/emoji). Tab glyphs return 1.

Unlike grapheme_width, continuation cells return 0 because they occupy no additional columns beyond the start cell.

left_extent g is the distance from a continuation cell to its start cell. The result is 0 for simple and complex-start glyphs.

right_extent g is the distance from a glyph to the rightmost continuation cell. For a complex start glyph this is width - 1.

codepoint g is the Unicode codepoint of a simple glyph g (U+0000 – U+10FFFF).

Warning. The result is undefined for complex glyphs.

pool_key g is Some key if g is a pool-backed glyph (complex start or continuation), and None otherwise. The key is a stable, process-local identity for deduplicating interned grapheme references.

The key is only meaningful for glyphs originating from the same pool.

make_continuation ~code ~left ~right is a continuation cell referencing the same pool entry as code with the given left and right extents. left and right are clamped to [0;3]. If code is a simple glyph the continuation carries no pool reference.

Note. Intended for renderer and grid internals that materialize wide-cell spans.

to_int g is the raw integer representation of g.

Note. The integer layout is not a stable serialization format across major versions. Use for in-process storage only (e.g. Bigarray).

See also unsafe_of_int.

unsafe_of_int n is n interpreted as a glyph without validation.

Warning. The caller must ensure n was produced by to_int or read from trusted storage. An invalid integer causes undefined behaviour in pool operations.

See also to_int.