~/jendhub

def put_left

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

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

13def put_left(~Left:Type,~Previous:Type,~Leaf:Type,~Right:Type,put:Previous -> Leaf -> Left,others:Previous & Right,leaf:Leaf) -> Left & Right:
14  match others:
15    case (previous,right):(put(previous,leaf),right)

Uses (2)

Used by (0)

No other definition uses this definition.