Skip to main content

Module ccp_session_bundle

lean_ctx::core

Module ccp_session_bundle 

Source

Structs§

CcpSessionBundleV1
ImportReportV1
PolicyIdentityV1
ProjectIdentityV1
SessionExcerptV1

Enums§

BundlePrivacyV1

Functions§

build_bundle_v1
import_bundle_v1_into_session
parse_bundle_v1
read_bundle_v1
serialize_bundle_v1_pretty
write_bundle_v1