~/jendhub

def recovery_left

bendvy-ecs-core@0.1.0.4 · restore_product.bend:34

import bendvy-ecs-core@0.1.0.4/restore_product.bend as RestoreProduct
import Base
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product

34def recovery_left(~L:Type,~Right:Type,~LR:Type,~RR:Type,~takeRight:Right -> Right & RR,right:Right,observed:L & LR) -> Product.Owner<L,Right> & Product.Owner<LR,RR>:
35  match observed:
36    case (left,recovery):recovery_join(~L,~Right,~LR,~RR,left,recovery,takeRight(right))

Uses (4)

Used by (1)