def image_plan

stelliferous@0.0.2.0 · tensor_band.bend:384

import Base

384def image_plan(remaining: Nat,+image: U32,+depth: Nat,+height: U32) -> Plan:
385  match remaining:
386    case 0n: Rows{0,0}
387    case 1n: row_plan(depth,U32.is_lt(1,height),(image * height : U32),height)
388    case 2n+rest:
389      Split{row_plan(depth,U32.is_lt(1,height),(image * height : U32),height),image_plan(1n+rest,(image + 1 : U32),depth,height)}