質問です。

「16文字のString型」という定義は型定義の段階でできるのでしょうか?