eu.timepit.refined.types.string.FiniteString
The maximum length of a FiniteString[N].
FiniteString[N]
Creates a FiniteString[N] from t by truncating it if it is longer than N.
t
N