def stretched_prepend

stelliferous@0.0.2.0 · tensor_view.bend:219

import Base

219def stretched_prepend(axis: Maybe<&2,Axis>,rest: Maybe<&2,List<&2,Axis>>) -> Maybe<&2,List<&2,Axis>>:
220  match axis rest:
221    case Some{axis} Some{rest}: Some{axis <> rest}
222    case axis rest: None{}