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