101def coppeliusDeviceImagesAppend =
102 (lambda unrestricted left : (family CoppeliusDeviceImages) .
103 (lambda unrestricted right : (family CoppeliusDeviceImages) .
104 (eliminate
105 CoppeliusDeviceImages
106 (lambda unrestricted current : (family CoppeliusDeviceImages) .
107 (family CoppeliusDeviceImages))
108 left
109 (branch CoppeliusDeviceImagesEnd . right)
110 (branch
111 CoppeliusDeviceImagesNext
112 image
113 tail
114 induction
115 .
116 (coppeliusDeviceImagesNext image induction)))))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.