Source/Systems

Coppelius.Build.DeviceImages

systems/coppelius/src/Coppelius/Build/DeviceImages.alpha

726 lines107 declarations39.5 KiBSHA-256 aca105a01057

def · lines 658–661

coppeliusTiledSchedulesAdmitted

Full file
658def coppeliusTiledSchedulesAdmitted : Nat =
659  (eliminate StdList (lambda unrestricted c : (family StdList (family CoppeliusTiledShape)) . Nat) coppeliusTiledShapes
660    (branch StdListEmpty . 1)
661    (branch StdListCons head tail induction . (naturalAnd (coppeliusTiledShapeAdmitted head) 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.