Skip to content

Document comparing term id's prefix with a &str#63

Merged
ielis merged 4 commits intodevelopmentfrom
prefix-partial-eq-doctest
Jan 16, 2026
Merged

Document comparing term id's prefix with a &str#63
ielis merged 4 commits intodevelopmentfrom
prefix-partial-eq-doctest

Commits

Commits on Jan 12, 2026

Commits on Jan 13, 2026

Commits on Jan 16, 2026