def Rest

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

import Base

13def Rest(~L:Type,~R:Type,path:Path) -> Type:
14  match path:
15    case Left{}:R
16    case Right{}:L