def prepend_extent

stelliferous@0.0.2.0 · tensor_shape.bend:61

import Base

61def prepend_extent(extent: Maybe<&2,U32>,rest: Maybe<&2,List<&2,U32>>) -> Maybe<&2,List<&2,U32>>:
62  match extent rest:
63    case Some{extent} Some{rest}: Some{extent <> rest}
64    case extent rest: None{}