---- the tiled products ----
497def stdListFromShapes = (lambda unrestricted head : (family CoppeliusTiledShape) .
498 (lambda unrestricted tail : (family StdList (family CoppeliusTiledShape)) .
499 (constructor StdList StdListCons (family CoppeliusTiledShape) head tail)))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.