Modelinden, T2-uygunluk damgalı bir hedef için çalıştırılabilir kod ağacı üret ve .zip indir. (Gövdeler TODO(@hs) iskelet; davranış sözleşmesi TCK-kanıtlı. Çalıştırma/derleme yereldedir.)
Ayarlar
Seçili hedefin yapılandırılabilir ayarı yok. (Bu alan, ileride aynı dilin framework/yöntem varyantları ve seçenekleri için ayrılmıştır.)