String

String は文字列値を表す primitive type constraint である。

例

name = String;
greeting = String default "hello";

制約合成

String は文字列制約と合成できる。

message = String & /Hello! .*/;

正規表現制約を必須機能にするかは未確定である。