From 069419a97da3eaa76846ced4f8ddc31abdca21a0 Mon Sep 17 00:00:00 2001 From: Craig Disselkoen Date: Tue, 26 Nov 2024 15:13:00 -0500 Subject: [PATCH] tweak comments Signed-off-by: Craig Disselkoen --- cedar-lean/CedarProto/ValidatorEntityType.lean | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/cedar-lean/CedarProto/ValidatorEntityType.lean b/cedar-lean/CedarProto/ValidatorEntityType.lean index b54e5fb7..788c7e1c 100644 --- 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