def Fits

bendtorch-core@0.1.0.0 · src/shape/coordinate_proofs.bend:10

import Base

10def Fits(dims: List<&2, Nat>, values: List<&2, Nat>) -> Data:
11  match dims values:
12    case Nil{} Nil{}:
13      Unit
14    case dh <> dt vh <> vt:
15      Fits.Step<dh, dt, vh, vt>
16    case Nil{} vh <> vt:
17      Empty
18    case dh <> dt Nil{}:
19      Empty