Skip to main content

compute_delta

lean_ctx::core::context_kernel::capsule_wire

Function compute_delta 

Source 
pub fn compute_delta(
    base: &ContextCapsuleV1,
    updated: &ContextCapsuleV1,
) -> DeltaTransfer
Expand description

Computes the reference and budget difference between two capsules.