我正在寻找具有以下特征的功能
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失败。
预期的功能签名是从here复制的。