---
source: cedar-policy-formatter/src/pprint/fmt.rs
expression: formatted
input_file: cedar-policy-cli/sample-data/tiny_sandboxes/level-validation/policy-level-0.cedar
---
permit (
  principal == User::"alice",
  action == Action::"view",
  resource
)
when { context.token.is_secure };
