Module cedar_policy_validator::typecheck

source ·
Expand description

Implements typechecking for Cedar policies. Typechecking is done using the Typechecker struct by calling the typecheck_policy method given a policy.

Structs§

  • Typechecker
    This structure implements typechecking for Cedar policies through the entry point typecheck_policy.

Enums§