tweak comments

Signed-off-by: Craig Disselkoen <[email protected]>
cedar-policy · Nov 26, 2024 · 069419a · 069419a
1 parent 649a726
commit 069419a
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/cedar-lean/CedarProto/ValidatorEntityType.lean b/cedar-lean/CedarProto/ValidatorEntityType.lean
@@ -25,11 +25,10 @@ open Proto
 
 namespace Cedar.Validation.Proto
 
--- Note: EntitySchemaEntry takes ancestors,
--- so we'll create an intermediate representation
--- once we gather all the entries, we will perform
--- the transform
+-- Note: EntitySchemaEntry takes ancestors, so we'll create this intermediate
+-- representation. Once we gather all the entries, we will perform the transform.
 structure ValidatorEntityType where
+  /-- All (transitive) descendants. Assumes TC is computed before encoding into protobuf. -/
   descendants : Array Spec.EntityTypeProto
   attrs : RecordType
   tags : Option CedarType