Int

Int は整数値を表す primitive type constraint である。

例

retry = Int default 3;
port = Int & >= 1 & <= 65535;

制約合成

数値比較制約と合成できる。

NarrowedPort = Int & >= 1 & <= 65535 & > 443;