337 B
337 B
String
String は文字列値を表す primitive type constraint である。
例
name = String;
greeting = String default "hello";
制約合成
String は文字列制約と合成できる。
message = String & /Hello! .*/;
正規表現制約を必須機能にするかは未確定である。