def closed_shape

stelliferous@0.0.2.0 · tensor_file.bend:208

import Base

208def closed_shape(valid: Bool,shape: List<&2,U32>) -> Maybe<&2,List<&2,U32>>:
209  match valid:
210    case True{}: Some{List.reverse(&2,U32,shape)}
211    case False{}: None{}