def subtree_rest

bendvy-ecs-core@0.1.0.3 · execution_composer_layout.bend:225

import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as ExecutionComposerLayout
import Base

225def subtree_rest(~S:Data,layout:Layout,route:Route) -> Type:
226  match layout route:
227    case _ AtLeaf{}:Unit
228    case LayoutPair{left,right} InLeft{rest}:columns(~S,right) & subtree_rest(~S,left,rest)
229    case LayoutPair{left,right} InRight{rest}:columns(~S,left) & subtree_rest(~S,right,rest)
230    case layout _:columns(~S,layout)

Uses (5)

Used by (11)