String Length

A String Length is a sequence length function that is a string function (whose input is a string.



References

2009

2007