Я ищу функцию следующей подписи
val suffix : t -> int -> t
suffix s n возвращает самый длинный суффикс s длины меньше или равный n
Предоставляет ли стандартный модуль String такую функцию? Если да, то как его использовать?
Мне нужно исключить первый символ строки и использовать остальные, т.е. создать строку из самого длинного правильного суффикса. Учитывая "abc", мне нужна строка "bc ". Я попробовал следующее, но это не удалось
String.suffix s ((String.length s) - 1)
со следующей ошибкой.
Error: Unbound value String.suffix
Как открыть модуль и использовать его? open String и open Core.Std не удается.
Ожидаемая сигнатура функции была скопирована с здесь .