def Cedar.SymCC.enforceCompiledPolicy (cp : CompiledPolicy) : Data.Set Term

Returns the ground acyclicity and transitivity assumptions for a single CompiledPolicy.

Equations

• One or more equations did not get rendered due to their size.

def Cedar.SymCC.enforceCompiledPolicySet (cpset : CompiledPolicySet) : Data.Set Term

Returns the ground acyclicity and transitivity assumptions for a single CompiledPolicySet.

Equations

• One or more equations did not get rendered due to their size.

def Cedar.SymCC.enforcePairCompiledPolicy (cp₁ cp₂ : CompiledPolicy) : Data.Set Term

Returns the ground acyclicity and transitivity assumptions for a pair of CompiledPolicy. Caller guarantees that cp₁ and cp₂ were compiled for the same εnv.

Equations

• One or more equations did not get rendered due to their size.

def Cedar.SymCC.enforcePairCompiledPolicySet (cpset₁ cpset₂ : CompiledPolicySet) : Data.Set Term

Returns the ground acyclicity and transitivity assumptions for a pair of CompiledPolicySet. Caller guarantees that cpset₁ and cpset₂ were compiled for the same εnv.

Equations

• One or more equations did not get rendered due to their size.