~/jendhub

def put_first

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

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

18def put_first(~Left:Type,~Leaf:Type,left:Left,leaf:Leaf) -> Left & Leaf:
19  (left,leaf)

Uses (2)

Used by (0)

No other definition uses this definition.