def Part

bendvy-ecs-core@0.1.0.3 · owner_product.bend:9

import Base

9def Part(~L:Type,~R:Type,path:Path) -> Type:
10  match path:
11    case Left{}:L
12    case Right{}:R