Source/Systems

Coppelius.Model

systems/coppelius/src/Coppelius/Model.alpha

69 lines10 declarations2.3 KiBSHA-256 20247fb7d83f

def · lines 42–43

coppeliusRotaryBase

Full file
the rotary positions' base: head-dimension pair i of a head width w turns at theta_i = base^(-2i / w) radians per position
42def coppeliusRotaryBase : Nat =
43  10000

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.