Labels Milestones
Back-0.111558 0.258184 0.959633 facet normal -0.0896453 -0.0431708 -0.995038 facet normal -0.586535 -0.665684 0.461347 vertex -0.672644 -6.71541 7.35649 facet normal -0.367742 0.111553 0.923213 vertex -8.55797 -2.64292 3.82299 vertex -8.31492 -3.44415 0 vertex -8.82707 -1.75581 4.51215 facet normal 8.195459e-001 -5.730135e-001 0.000000e+000 vertex 6.971169e+000 -1.377601e+000 9.983999e+000.
- RailProfile() { polygon(railProfilePoints); } module make_step(bottom_element="switch") { .
- 8.014610e-14 -1.000000e+00 3.659659e-14 facet.