CryptoBasedCompositionalProperties

ListExtras

Secrecy_types

inout

Secrecy

CompLocalSecrets

KnowledgeKeysSecrets