diff --git a/prelude/configurations/rules.bzl b/prelude/configurations/rules.bzl
index 831ea15b07884..53182c97f28ca 100644
--- a/prelude/configurations/rules.bzl
+++ b/prelude/configurations/rules.bzl
@@ -9,28 +9,14 @@
 load("@prelude//cfg/modifier:types.bzl", "ConditionalModifierInfo")
 load(":util.bzl", "util")
 
-# config_setting() accepts a list of constraint_values and a list of values
-# (buckconfig keys + expected values) and matches if all of those match.
-#
-# This is implemented as forming a single ConfigurationInfo from the union of the
-# referenced values and the config keys.
-#
-# Attributes:
-#   "constraint_values": attrs.list(attrs.configuration_label(), default = []),
-#   "values": attrs.dict(key = attrs.string(), value = attrs.string(), sorted = False, default = {}),
 def config_setting_impl(ctx):
     subinfos = [util.constraint_values_to_configuration(ctx.attrs.constraint_values)]
     subinfos.append(ConfigurationInfo(constraints = {}, values = ctx.attrs.values))
     return [DefaultInfo(), util.configuration_info_union(subinfos)]
 
-# constraint_setting() targets just declare the existence of a constraint.
 def constraint_setting_impl(ctx):
     return [DefaultInfo(), ConstraintSettingInfo(label = ctx.label.raw_target())]
 
-# constraint_value() declares a specific value of a constraint_setting.
-#
-# Attributes:
-#  constraint_setting: the target constraint that this is a value of
 def constraint_value_impl(ctx):
     constraint_value = ConstraintValueInfo(
         setting = ctx.attrs.constraint_setting[ConstraintSettingInfo],
@@ -52,12 +38,6 @@ def constraint_value_impl(ctx):
         ),
     ]
 
-# constraint() is a unified constraint rule that declares both a constraint setting
-# and its possible values. Values are exposed as subtargets.
-#
-# Attributes:
-#  values: list of value names (strings)
-#  default: default value (must be one of the values)
 def constraint_impl(ctx):
     # Validate values are unique and non-empty
     values = ctx.attrs.values
@@ -111,11 +91,6 @@ def constraint_impl(ctx):
         constraint_setting,
     ]
 
-# platform() declares a platform, it is a list of constraint values.
-#
-# Attributes:
-#  constraint_values: list of constraint values that are set for this platform
-#  deps: a list of platform target dependencies, the constraints from these platforms will be part of this platform (unless overridden)
 def platform_impl(ctx):
     subinfos = (
         [dep[PlatformInfo].configuration for dep in ctx.attrs.deps] +
diff --git a/prelude/decls/core_rules.bzl b/prelude/decls/core_rules.bzl
index 5f70095afba69..d6d9c8a18dedc 100644
--- a/prelude/decls/core_rules.bzl
+++ b/prelude/decls/core_rules.bzl
@@ -220,7 +220,13 @@ command_alias = prelude_rule(
 
 config_setting = prelude_rule(
     name = "config_setting",
-    docs = "",
+    docs = """
+        `config_setting()` accepts a list of `constraint_values` and a list of values
+        (buckconfig keys + expected values) and matches if all of those match.
+
+        This is implemented as forming a single `ConfigurationInfo` from the union of the
+        referenced values and the config keys.
+    """,
     examples = None,
     further = None,
     attrs = (
@@ -282,7 +288,7 @@ configured_alias = prelude_rule(
 
 constraint_setting = prelude_rule(
     name = "constraint_setting",
-    docs = "",
+    docs = "Declares the existence of a constraint, whose values are defined using `constraint_value()`. Consider using the newer `constraint()` instead.",
     examples = None,
     further = None,
     attrs = (
@@ -293,13 +299,15 @@ constraint_setting = prelude_rule(
 
 constraint_value = prelude_rule(
     name = "constraint_value",
-    docs = "",
+    docs = "Declares a specific value of a `constraint_setting`. Consider using the newer `constraint()` instead.",
     examples = None,
     further = None,
     attrs = (
         # @unsorted-dict-items
         {
-            "constraint_setting": attrs.configuration_label(),
+            "constraint_setting": attrs.configuration_label(
+                doc = "The constraint setting this value is attached to.",
+            ),
         }
     ),
 )
@@ -321,8 +329,13 @@ constraint = prelude_rule(
     attrs = (
         # @unsorted-dict-items
         {
-            "values": attrs.list(attrs.string()),
-            "default": attrs.string(),
+            "values": attrs.list(
+                attrs.string(),
+                doc = "List of value names.",
+            ),
+            "default": attrs.string(
+                doc = "Default value (must be one of the `values`).",
+            ),
         }
     ),
 )
@@ -868,14 +881,22 @@ http_file = prelude_rule(
 
 platform = prelude_rule(
     name = "platform",
-    docs = "",
+    docs = "Declares a platform, which is a build configuration composed of constraint values.",
     examples = None,
     further = None,
     attrs = (
         # @unsorted-dict-items
         {
-            "constraint_values": attrs.list(attrs.configuration_label(), default = []),
-            "deps": attrs.list(attrs.configuration_label(), default = []),
+            "constraint_values": attrs.list(
+                attrs.configuration_label(),
+                default = [],
+                doc = "List of constraint values that are set for this platform.",
+            ),
+            "deps": attrs.list(
+                attrs.configuration_label(),
+                default = [],
+                doc = "List of other platform target dependencies. The constraints from these platforms will be part of this platform (unless overridden)",
+            ),
         }
     ),
 )