~/jendhub

def take_left

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

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

10def take_left(~Left:Type,~Previous:Type,~Leaf:Type,~Right:Type,take:Left -> Previous & Leaf,owners:Left & Right) -> (Previous & Right) & Leaf:
11  match owners:
12    case (left,right):taken_left(~Previous,~Leaf,~Right,right,take(left))

Uses (3)

Used by (0)

No other definition uses this definition.