Skip to main content

Module handoff_transfer_bundle

lean_ctx::core

Module handoff_transfer_bundle 

Source

Structs§

ArtifactsExcerptV1
HandoffTransferBundleV1
ProjectIdentityV1
ProofFileV1

Enums§

BundlePrivacyV1

Functions§

build_bundle_v1
parse_bundle_v1
project_identity_warning
read_bundle_v1
serialize_bundle_v1_pretty
write_bundle_v1