Skip to content

refactor: use String.ofList and String.toList for String <-> List Char conversion #19363

refactor: use String.ofList and String.toList for String <-> List Char conversion

refactor: use String.ofList and String.toList for String <-> List Char conversion #19363

check-lean-files

succeeded Oct 31, 2025 in 30s