CedarProto.lean

/-
 Copyright Cedar Contributors

 Licensed under the Apache License, Version 2.0 (the "License");
 you may not use this file except in compliance with the License.
 You may obtain a copy of the License at

      https://www.apache.org/licenses/LICENSE-2.0

 Unless required by applicable law or agreed to in writing, software
 distributed under the License is distributed on an "AS IS" BASIS,
 WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 See the License for the specific language governing permissions and
 limitations under the License.
-/

import CedarProto.ActionConstraint
import CedarProto.AuthorizationRequest
import CedarProto.Context
import CedarProto.Entities
import CedarProto.Entity
import CedarProto.EntityReference
import CedarProto.EntityType
import CedarProto.EntityUID
import CedarProto.EntityUIDEntry
import CedarProto.Expr
import CedarProto.LiteralPolicy
import CedarProto.LiteralPolicySet
import CedarProto.Name
import CedarProto.PrincipalConstraint
import CedarProto.PrincipalOrResourceConstraint
import CedarProto.Request
import CedarProto.ResourceConstraint
import CedarProto.TemplateBody
import CedarProto.Type
import CedarProto.ValidationRequest
import CedarProto.ValidatorActionId
import CedarProto.ValidatorApplySpec
import CedarProto.ValidatorEntityType
import CedarProto.ValidatorSchema
import CedarProto.Value