type Tiling

stelliferous@0.0.2.0 · proofs/tensor_indexed_certificate.bend:82

import Base

82type Tiling<-Context: Data> is Data:
83  Tiling{total: U32,context: Context}