a product the model launches (the tiled products below)
82family CoppeliusTiledShape : Type 0
83constructor CoppeliusTiledShapeValue
84field unrestricted coppeliusTiledShapeA : (family TiledProductLayout)
85field unrestricted coppeliusTiledShapeB : (family TiledProductLayout)
86field unrestricted coppeliusTiledShapeM : Nat
87field unrestricted coppeliusTiledShapeN : Nat
88field unrestricted coppeliusTiledShapeK : Nat
89-- 1: C = A B + R (a residual added in the epilogue)
90field unrestricted coppeliusTiledShapeResidual : NatThe compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.