diff --git a/src/domains/boolDomain.ml b/src/domain/boolDomain.ml
similarity index 100%
rename from src/domains/boolDomain.ml
rename to src/domain/boolDomain.ml
diff --git a/src/domains/disjointDomain.ml b/src/domain/disjointDomain.ml
similarity index 100%
rename from src/domains/disjointDomain.ml
rename to src/domain/disjointDomain.ml
diff --git a/src/domain/domain.mld b/src/domain/domain.mld
index 43d650abdd..ce7e1a5859 100644
--- a/src/domain/domain.mld
+++ b/src/domain/domain.mld
@@ -7,3 +7,15 @@ For better context, see {!Goblint_lib} which also documents these modules.
 {!modules:
 Lattice
 }
+
+{2 General}
+{!modules:
+BoolDomain
+SetDomain
+MapDomain
+TrieDomain
+DisjointDomain
+HoareDomain
+PartitionDomain
+FlagHelper
+}
diff --git a/src/domains/flagHelper.ml b/src/domain/flagHelper.ml
similarity index 100%
rename from src/domains/flagHelper.ml
rename to src/domain/flagHelper.ml
diff --git a/src/domains/hoareDomain.ml b/src/domain/hoareDomain.ml
similarity index 100%
rename from src/domains/hoareDomain.ml
rename to src/domain/hoareDomain.ml
diff --git a/src/domains/mapDomain.ml b/src/domain/mapDomain.ml
similarity index 100%
rename from src/domains/mapDomain.ml
rename to src/domain/mapDomain.ml
diff --git a/src/domains/partitionDomain.ml b/src/domain/partitionDomain.ml
similarity index 100%
rename from src/domains/partitionDomain.ml
rename to src/domain/partitionDomain.ml
diff --git a/src/domains/setDomain.ml b/src/domain/setDomain.ml
similarity index 100%
rename from src/domains/setDomain.ml
rename to src/domain/setDomain.ml
diff --git a/src/domains/trieDomain.ml b/src/domain/trieDomain.ml
similarity index 100%
rename from src/domains/trieDomain.ml
rename to src/domain/trieDomain.ml