diff --git a/lib/tests/modules/declare-int-between-value.nix b/lib/tests/modules/declare-int-between-value.nix
new file mode 100644
index 000000000000..8b2624cc5d65
--- /dev/null
+++ b/lib/tests/modules/declare-int-between-value.nix
@@ -0,0 +1,9 @@
+{ lib, ... }:
+
+{
+ options = {
+ value = lib.mkOption {
+ type = lib.types.ints.between (-21) 43;
+ };
+ };
+}
diff --git a/lib/tests/modules/declare-int-unsigned-value.nix b/lib/tests/modules/declare-int-unsigned-value.nix
new file mode 100644
index 000000000000..05d0eff01c94
--- /dev/null
+++ b/lib/tests/modules/declare-int-unsigned-value.nix
@@ -0,0 +1,9 @@
+{ lib, ... }:
+
+{
+ options = {
+ value = lib.mkOption {
+ type = lib.types.ints.unsigned;
+ };
+ };
+}
diff --git a/lib/tests/modules/define-value-int-negative.nix b/lib/tests/modules/define-value-int-negative.nix
new file mode 100644
index 000000000000..a041222987ad
--- /dev/null
+++ b/lib/tests/modules/define-value-int-negative.nix
@@ -0,0 +1,3 @@
+{
+ value = -23;
+}
diff --git a/lib/tests/modules/define-value-int-positive.nix b/lib/tests/modules/define-value-int-positive.nix
new file mode 100644
index 000000000000..5803de172636
--- /dev/null
+++ b/lib/tests/modules/define-value-int-positive.nix
@@ -0,0 +1,3 @@
+{
+ value = 42;
+}
diff --git a/nixos/doc/manual/development/option-types.xml b/nixos/doc/manual/development/option-types.xml
index ccdbc0900be1..0b00f7077c2e 100644
--- a/nixos/doc/manual/development/option-types.xml
+++ b/nixos/doc/manual/development/option-types.xml
@@ -35,19 +35,16 @@
-Integer related types:
+Integer-related types:
-
- types.ints.signed
-
- A signed integer.
-
+ types.int
+ A signed integer.
- types.ints{signed8, signed16, signed32}
+ types.ints.{s8, s16, s32}
Signed integers with a fixed length (8, 16 or 32 bits).
@@ -60,21 +57,16 @@
for 8 bits).
-
- types.int
- A convenience alias for ints.signed.
-
-
types.ints.unsigned
- An unsigned integer (that is ≥ 0).
+ An unsigned integer (that is >= 0).
- types.ints{unsigned8, unsigned16, unsigned32}
+ types.ints.{u8, u16, u32}
Unsigned integers with a fixed length (8, 16 or 32 bits).
@@ -86,15 +78,9 @@
for 8 bits).
-
-
- types.port
-
- A network port number (0–65635).
-
-String related types:
+String-related types:
@@ -123,7 +109,7 @@
Value Types
- Value types are type that take a value parameter.
+ Value types are types that take a value parameter.
@@ -147,7 +133,7 @@
An integer between lowest
and highest (both inclusive).
- Useful for e.g. creating types like types.port.
+ Useful for creating types like types.port.