~/jendhub

def taken_left

bendvy-ecs-core@0.1.0.4 · ordinary_app_focus.bend:7

import bendvy-ecs-core@0.1.0.4/ordinary_app_focus.bend as OrdinaryAppFocus
import Base

7def taken_left(~Previous:Type,~Leaf:Type,~Right:Type,right:Right,result:Previous & Leaf) -> (Previous & Right) & Leaf:
8  match result:
9    case (previous,leaf):((previous,right),leaf)

Uses (2)

Used by (1)