def split_level

stelliferous@0.0.2.0 · tensor_cursor.bend:82

import Base

82def split_level(~Rest: Data,~split_rest: List<&2,Axis> -> Rest,axes: List<&2,Axis>) -> Level<Rest>:
83  match axes:
84    case []: Level{absent(),split_rest([])}
85    case axis <> tail: Level{axis,split_rest(tail)}